The cat is cold. The cow chases the squirrel. The squirrel visits the cow. If something chases the cat and it needs the cow then it is young. If something is red then it is rough. If the squirrel visits the cat and the squirrel needs the cat then the squirrel chases the cat. If something is rough then it visits the cat. If something is red then it chases the squirrel. If the squirrel visits the cow then the squirrel needs the cow. If something visits the cow then it is rough. If the squirrel visits the cat then the cat is blue.
The squirrel does not chase the cat.
@0: The cat is cold.[(triple1)] The cow chases the squirrel.[(triple2)] The squirrel visits the cow.[(triple3)] @1: The squirrel is rough.[(((triple3) -> rule7))] The squirrel needs the cow.[(((triple3) -> rule6))] @2: The squirrel visits the cat.[(((((triple3) -> rule7)) -> rule4))] @3: The cat is blue.[(((((((triple3) -> rule7)) -> rule4)) -> rule8))]