The cow visits the squirrel. The squirrel is not young. The tiger sees the cow. If something is blue and rough then it sees the cow. If something visits the squirrel then the squirrel is blue. If something visits the squirrel then the squirrel chases the cow. If the tiger is not blue then the tiger does not visit the cow. If something is young then it does not see the squirrel. If the tiger does not see the cow then the cow does not see the squirrel.
The squirrel is not blue.
@0: The cow visits the squirrel.[(triple1)] The squirrel is not young.[(triple2)] The tiger sees the cow.[(triple3)] @1: The squirrel chases the cow.[(((triple1) -> rule3))] The squirrel is blue.[(((triple1) -> rule2))]