The cow does not eat the squirrel. The rabbit is blue. The squirrel is round. The tiger needs the squirrel. Round people are big. If someone needs the cow then they like the tiger. If the squirrel is big then the squirrel eats the cow.
The squirrel does not eat the cow.
@0: The cow does not eat the squirrel.[(triple1)] The rabbit is blue.[(triple2)] The squirrel is round.[(triple3)] The tiger needs the squirrel.[(triple4)] @1: The squirrel is big.[(((triple3) -> rule1))] @2: The squirrel eats the cow.[(((((triple3) -> rule1)) -> rule3))]