Rule onoxkyyvodgbvxiu

[id: onoxkyyvodgbvxiu] input(Are you running on a notebook?) && eval(!areWeOnANotebook()) => output(No.)

Loaded as

[id: onoxkyyvodgbvxiu] input(Are you running on a notebook?|Are you running on an notebook?) && eval(!areWeOnANotebook()) => output(No.)