The dog eats the lion. The dog eats the squirrel. The dog does not visit the lion. The dog visits the squirrel. The lion eats the squirrel. The lion is rough. The lion does not visit the squirrel. The squirrel chases the dog. The squirrel eats the lion. The squirrel visits the lion. If someone is cold then they chase the lion. If someone chases the squirrel then the squirrel is blue. If someone is blue then they eat the dog. If someone chases the dog then the dog is rough. If someone visits the lion then they chase the squirrel. If someone is kind and not blue then they visit the squirrel.
The squirrel eats the dog.
@0: The dog does not visit the lion.[(triple3)] The dog eats the lion.[(triple1)] The dog eats the squirrel.[(triple2)] The dog visits the squirrel.[(triple4)] The lion does not visit the squirrel.[(triple7)] The lion eats the squirrel.[(triple5)] The lion is rough.[(triple6)] The squirrel chases the dog.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The dog is rough.[(((triple8) -> rule4))] The squirrel chases the squirrel.[(((triple10) -> rule5))] @2: The squirrel is blue.[(((((triple10) -> rule5)) -> rule2))] @3: The squirrel eats the dog.[(((((((triple10) -> rule5)) -> rule2)) -> rule3))]