The bald eagle eats the tiger. The bald eagle is round. The bald eagle sees the tiger. The bald eagle visits the tiger. The cat is blue. The cat is kind. The cat is nice. The cat sees the bald eagle. The cat visits the bald eagle. The tiger is kind. The tiger sees the cat. The tiger visits the bald eagle. If something sees the cat and the cat visits the tiger then the cat is nice. If something sees the bald eagle then the bald eagle is kind. If something eats the cat then it sees the tiger.
The cat does not see the tiger.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cat is blue.[(triple5)] The cat is kind.[(triple6)] The cat is nice.[(triple7)] The cat sees the bald eagle.[(triple8)] The cat visits the bald eagle.[(triple9)] The tiger is kind.[(triple10)] The tiger sees the cat.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The bald eagle is kind.[(((triple8) -> rule2))]