The cat eats the lion. The cat is young. The cat needs the squirrel. The lion eats the cat. The lion eats the squirrel. The lion is red. The lion needs the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is blue. The squirrel visits the cat. The squirrel visits the lion. If the squirrel is blue and the squirrel needs the lion then the lion is green. All blue people are young. If the lion needs the squirrel and the squirrel eats the lion then the squirrel needs the lion.
The lion eats the cat.
@0: The cat eats the lion.[(triple1)] The cat is young.[(triple2)] The cat needs the squirrel.[(triple3)] The lion eats the cat.[(triple4)] The lion eats the squirrel.[(triple5)] The lion is red.[(triple6)] The lion needs the squirrel.[(triple7)] The lion visits the squirrel.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel is blue.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The squirrel is young.[(((triple10) -> rule2))] The squirrel needs the lion.[(((triple7 triple9) -> rule3))] @2: The lion is green.[(((triple10 ((triple7 triple9) -> rule3)) -> rule1))]