The cat eats the squirrel. The dog needs the lion. The dog visits the cat. The lion visits the squirrel. The squirrel is red. The squirrel needs the lion. The squirrel visits the lion. If someone needs the cat and the cat is round then the cat needs the dog. If someone visits the squirrel then they are young. If someone eats the dog then the dog visits the squirrel. If someone visits the lion then they are young. If someone is cold and they visit the lion then the lion needs the cat. If someone is young then they eat the cat.
The squirrel is young.
@0: The cat eats the squirrel.[(triple1)] The dog needs the lion.[(triple2)] The dog visits the cat.[(triple3)] The lion visits the squirrel.[(triple4)] The squirrel is red.[(triple5)] The squirrel needs the lion.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The lion is young.[(((triple4) -> rule2))] The squirrel is young.[(((triple7) -> rule4))] @2: The lion eats the cat.[(((((triple4) -> rule2)) -> rule6))] The squirrel eats the cat.[(((((triple7) -> rule4)) -> rule6))]