The dog eats the rabbit. The dog visits the lion. The lion eats the dog. The lion is not cold. The lion visits the rabbit. The rabbit does not eat the dog. The rabbit eats the lion. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is cold. The squirrel sees the rabbit. The squirrel visits the dog. If the rabbit sees the dog and the dog visits the lion then the lion sees the dog. If something visits the lion then the lion is not round.
The squirrel is blue.
@0: The dog eats the rabbit.[(triple1)] The dog visits the lion.[(triple2)] The lion eats the dog.[(triple3)] The lion is not cold.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit does not eat the dog.[(triple6)] The rabbit eats the lion.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is cold.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The lion is not round.[(((triple2) -> rule2))]