The cat visits the dog. The dog likes the cat. The mouse visits the squirrel. The squirrel is round. If something visits the dog then it is young. If something likes the cat and it visits the dog then the dog sees the cat. If something is young then it sees the squirrel.
The cat is not young.
@0: The cat visits the dog.[(triple1)] The dog likes the cat.[(triple2)] The mouse visits the squirrel.[(triple3)] The squirrel is round.[(triple4)] @1: The cat is young.[(((triple1) -> rule1))] @2: The cat sees the squirrel.[(((((triple1) -> rule1)) -> rule3))]