The dog is blue. The dog visits the lion. The lion eats the mouse. The lion eats the squirrel. The lion is blue. The lion needs the squirrel. The mouse eats the dog. The mouse eats the lion. The mouse eats the squirrel. The mouse visits the lion. The squirrel eats the lion. The squirrel is round. The squirrel needs the dog. The squirrel needs the lion. The squirrel visits the lion. If someone eats the mouse then they are red. If someone eats the mouse and they are round then they need the mouse. If someone is round then they visit the lion.
The lion eats the squirrel.
@0: The dog is blue.[(triple1)] The dog visits the lion.[(triple2)] The lion eats the mouse.[(triple3)] The lion eats the squirrel.[(triple4)] The lion is blue.[(triple5)] The lion needs the squirrel.[(triple6)] The mouse eats the dog.[(triple7)] The mouse eats the lion.[(triple8)] The mouse eats the squirrel.[(triple9)] The mouse visits the lion.[(triple10)] The squirrel eats the lion.[(triple11)] The squirrel is round.[(triple12)] The squirrel needs the dog.[(triple13)] The squirrel needs the lion.[(triple14)] The squirrel visits the lion.[(triple15 OR ((triple12) -> rule3))] @1: The lion is red.[(((triple3) -> rule1))]