The bald eagle sees the dog. The cat is red. The dog sees the cat. The tiger likes the dog. If something sees the cat then it likes the cat. If something visits the cat then it is not red. If something sees the tiger then the tiger is big.
The bald eagle does not see the dog.
@0: The bald eagle sees the dog.[(triple1)] The cat is red.[(triple2)] The dog sees the cat.[(triple3)] The tiger likes the dog.[(triple4)] @1: The dog likes the cat.[(((triple3) -> rule1))]