The cat eats the tiger. The cat is red. The cat sees the cow. The cow is big. The cow sees the squirrel. The cow does not see the tiger. The squirrel is not kind. The squirrel visits the cow. The tiger is red. The tiger sees the cow. If something eats the tiger then the tiger is young. If something sees the cow then it visits the cow. If something is round then it visits the cow. Big things are not young. If the tiger is round and the tiger is not big then the tiger visits the squirrel. If something is young then it visits the tiger. If something sees the cat and the cat eats the tiger then the cat sees the cow. If something visits the tiger then it sees the tiger.
The cat sees the cat.
@0: The cat eats the tiger.[(triple1)] The cat is red.[(triple2)] The cat sees the cow.[(triple3)] The cow does not see the tiger.[(triple6)] The cow is big.[(triple4)] The cow sees the squirrel.[(triple5)] The squirrel is not kind.[(triple7)] The squirrel visits the cow.[(triple8)] The tiger is red.[(triple9)] The tiger sees the cow.[(triple10)] @1: The cat visits the cow.[(((triple3) -> rule2))] The cow is not young.[(((triple4) -> rule4))] The tiger is young.[(((triple1) -> rule1))] The tiger visits the cow.[(((triple10) -> rule2))] @2: The tiger visits the tiger.[(((((triple1) -> rule1)) -> rule6))] @3: The tiger sees the tiger.[(((((((triple1) -> rule1)) -> rule6)) -> rule8))]