The bear visits the cat. The cat sees the bear. If something chases the cat then it sees the bear. If the bear sees the cat then the bear chases the cat. If the cat visits the bear and the cat sees the bear then the bear visits the cat. If something chases the bear and the bear visits the cat then the cat is young. If something visits the cat then it is young. If something sees the cat then it visits the cat.
The bear does not see the bear.
@0: The bear visits the cat.[(triple1)] The cat sees the bear.[(triple2)] @1: The bear is young.[(((triple1) -> rule5))]