The bald eagle eats the tiger. The bald eagle is kind. The cat likes the rabbit. The rabbit eats the bald eagle. The rabbit does not see the tiger. The tiger eats the rabbit. The tiger likes the bald eagle. If something sees the rabbit and it does not see the tiger then it sees the cat. If something likes the rabbit then it sees the bald eagle.
The tiger does not eat the rabbit.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is kind.[(triple2)] The cat likes the rabbit.[(triple3)] The rabbit does not see the tiger.[(triple5)] The rabbit eats the bald eagle.[(triple4)] The tiger eats the rabbit.[(triple6)] The tiger likes the bald eagle.[(triple7)] @1: The cat sees the bald eagle.[(((triple3) -> rule2))]