The cow visits the dog. The dog likes the cow. The squirrel visits the dog. If the squirrel likes the dog then the squirrel sees the cow. If something sees the squirrel then the squirrel is nice. If something visits the dog then the dog sees the squirrel. If the squirrel sees the cow and the cow likes the dog then the dog sees the squirrel. If something visits the squirrel and the squirrel sees the cow then the cow visits the squirrel. If something sees the dog then it likes the cow. If something is rough and it likes the cow then the cow sees the dog. All cold things are nice.
The cow is not nice.
@0: The cow visits the dog.[(triple1)] The dog likes the cow.[(triple2)] The squirrel visits the dog.[(triple3)] @1: The dog sees the squirrel.[(((triple1) -> rule3) OR ((triple3) -> rule3))] @2: The squirrel is nice.[(((((triple1) -> rule3)) -> rule2) OR ((((triple3) -> rule3)) -> rule2))]