The cow is blue. The cow sees the squirrel. The squirrel sees the cow. If something chases the squirrel and it chases the cow then the cow chases the squirrel. If something needs the squirrel and the squirrel sees the cow then the cow is rough. If something chases the cow and it is cold then it needs the cow. If something needs the squirrel then it sees the squirrel. If something chases the cow then it is rough. If something needs the cow and it is red then it is blue. If something needs the squirrel then the squirrel chases the cow. If something sees the squirrel then it chases the cow.
The cow is blue.
@0: The cow is blue.[(triple1)] The cow sees the squirrel.[(triple2)] The squirrel sees the cow.[(triple3)] @1: The cow chases the cow.[(((triple2) -> rule8))] @2: The cow is rough.[(((((triple2) -> rule8)) -> rule5))]