The cat does not visit the cow. The cow chases the cat. The cow is blue. The cow visits the cat. The squirrel is big. The squirrel needs the cat. The squirrel visits the cow. If someone is blue then they visit the squirrel. If someone visits the cat then the cat does not visit the squirrel. If the cow needs the cat then the cow is blue. If someone needs the cow then the cow chases the squirrel. If someone is green then they are big. If someone is nice then they visit the cat. If someone needs the cow and they are big then they do not visit the cat. If someone visits the squirrel then they need the cow.
The cow does not visit the cow.
@0: The cat does not visit the cow.[(triple1)] The cow chases the cat.[(triple2)] The cow is blue.[(triple3)] The cow visits the cat.[(triple4)] The squirrel is big.[(triple5)] The squirrel needs the cat.[(triple6)] The squirrel visits the cow.[(triple7)] @1: The cat does not visit the squirrel.[(((triple4) -> rule2))] The cow visits the squirrel.[(((triple3) -> rule1))] @2: The cow needs the cow.[(((((triple3) -> rule1)) -> rule8))] @3: The cow chases the squirrel.[(((((((triple3) -> rule1)) -> rule8)) -> rule4))]