The cat likes the cow. The cow is nice. The squirrel is red. If the cow needs the cat and the cow likes the cat then the cat visits the cow. If someone needs the cat then the cat needs the cow. If someone needs the cow then the cow needs the squirrel. If someone is red then they need the cat. If someone likes the cat and the cat likes the squirrel then they like the cow. If someone is red and blue then they like the cow. If someone likes the cow and the cow is round then they need the squirrel. If someone needs the cat then they are nice.
The cat needs the cat.
@0: The cat likes the cow.[(triple1)] The cow is nice.[(triple2)] The squirrel is red.[(triple3)] @1: The squirrel needs the cat.[(((triple3) -> rule4))] @2: The cat needs the cow.[(((((triple3) -> rule4)) -> rule2))] The squirrel is nice.[(((((triple3) -> rule4)) -> rule8))] @3: The cow needs the squirrel.[(((((((triple3) -> rule4)) -> rule2)) -> rule3))]