The cat needs the squirrel. The squirrel is blue. Big, rough people are not blue. If someone needs the squirrel and they are green then the squirrel does not visit the cat. If someone likes the squirrel then they do not like the cat. If someone is green and round then they need the cat. If someone needs the cat then the cat needs the squirrel. If someone needs the cat then they visit the squirrel. If someone needs the squirrel and the squirrel is blue then they visit the squirrel. If the cat visits the squirrel then the cat likes the squirrel.
The cat does not like the cat.
@0: The cat needs the squirrel.[(triple1)] The squirrel is blue.[(triple2)] @1: The cat visits the squirrel.[(((triple1 triple2) -> rule7))] @2: The cat likes the squirrel.[(((((triple1 triple2) -> rule7)) -> rule8))] @3: The cat does not like the cat.[(((((((triple1 triple2) -> rule7)) -> rule8)) -> rule3))]