The cat sees the cow. The cat visits the cow. The cow likes the squirrel. The cow visits the cat. The cow visits the squirrel. The squirrel likes the cat. The squirrel visits the cat. If something is red and it sees the squirrel then the squirrel visits the cat. If the cat sees the cow then the cow sees the squirrel. If something sees the squirrel and it visits the squirrel then the squirrel is round.
The cat does not visit the squirrel.
@0: The cat sees the cow.[(triple1)] The cat visits the cow.[(triple2)] The cow likes the squirrel.[(triple3)] The cow visits the cat.[(triple4)] The cow visits the squirrel.[(triple5)] The squirrel likes the cat.[(triple6)] The squirrel visits the cat.[(triple7)] @1: The cow sees the squirrel.[(((triple1) -> rule2))] @2: The squirrel is round.[(((((triple1) -> rule2) triple5) -> rule3))]