The cat chases the squirrel. The cow chases the cat. The squirrel eats the cow. If someone likes the cat then the cat likes the squirrel. If someone is red and they chase the squirrel then they do not like the squirrel. If someone eats the cow then the cow is big. If someone chases the cat then the cat chases the cow. If the squirrel chases the cat and the squirrel is not nice then the squirrel does not chase the cow. If someone is nice and red then they like the cow. If someone chases the cow then they do not eat the cat. If someone chases the cow and they do not eat the cat then the cow is blue.
The cat does not eat the cat.
@0: The cat chases the squirrel.[(triple1)] The cow chases the cat.[(triple2)] The squirrel eats the cow.[(triple3)] @1: The cat chases the cow.[(((triple2) -> rule4))] The cow is big.[(((triple3) -> rule3))] @2: The cat does not eat the cat.[(((((triple2) -> rule4)) -> rule7))] @3: The cow is blue.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule7)) -> rule8))]