The cat visits the cow. The cow likes the squirrel. The squirrel likes the cat. If something visits the cow then it chases the cow. If something visits the squirrel and the squirrel is not red then it likes the cat. If something chases the cow then it does not visit the cat. If the squirrel is red and the squirrel does not chase the cat then the cat visits the squirrel. If the squirrel does not chase the cow then the squirrel likes the cow. If the squirrel visits the cat then the squirrel likes the cow.
The squirrel does not visit the cow.
@0: The cat visits the cow.[(triple1)] The cow likes the squirrel.[(triple2)] The squirrel likes the cat.[(triple3)] @1: The cat chases the cow.[(((triple1) -> rule1))] @2: The cat does not visit the cat.[(((((triple1) -> rule1)) -> rule3))]