The cow eats the tiger. The cow is nice. The cow needs the tiger. The squirrel sees the tiger. The tiger eats the cow. The tiger eats the squirrel. The tiger is green. If something sees the tiger then it is round. If the cow is nice then the cow needs the squirrel. If the tiger is rough and the tiger is red then the tiger sees the squirrel. If something needs the cow and it eats the tiger then the cow is round. If something is rough then it needs the squirrel. If something needs the squirrel then the squirrel is rough. If something needs the tiger then it is round. If something needs the tiger and it needs the cow then the tiger eats the cow.
The tiger needs the squirrel.
@0: The cow eats the tiger.[(triple1)] The cow is nice.[(triple2)] The cow needs the tiger.[(triple3)] The squirrel sees the tiger.[(triple4)] The tiger eats the cow.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger is green.[(triple7)] @1: The cow is round.[(((triple3) -> rule7))] The cow needs the squirrel.[(((triple2) -> rule2))] The squirrel is round.[(((triple4) -> rule1))] @2: The squirrel is rough.[(((((triple2) -> rule2)) -> rule6))] @3: The squirrel needs the squirrel.[(((((((triple2) -> rule2)) -> rule6)) -> rule5))]