The lion chases the mouse. The lion chases the squirrel. The lion is kind. The lion is red. The mouse chases the lion. The mouse chases the squirrel. The mouse is green. The mouse is kind. The mouse is red. The mouse sees the lion. The mouse sees the squirrel. The squirrel is green. The squirrel is rough. The squirrel likes the lion. The squirrel sees the mouse. If something sees the squirrel then the squirrel is nice. If something chases the squirrel then the squirrel sees the lion.
The mouse is not nice.
@0: The lion chases the mouse.[(triple1)] The lion chases the squirrel.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The mouse chases the lion.[(triple5)] The mouse chases the squirrel.[(triple6)] The mouse is green.[(triple7)] The mouse is kind.[(triple8)] The mouse is red.[(triple9)] The mouse sees the lion.[(triple10)] The mouse sees the squirrel.[(triple11)] The squirrel is green.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The squirrel is nice.[(((triple11) -> rule1))] The squirrel sees the lion.[(((triple2) -> rule2) OR ((triple6) -> rule2))]