The bald eagle eats the cat. The bald eagle visits the tiger. The cat visits the bald eagle. The tiger eats the bald eagle. The tiger eats the cat. The tiger is blue. The tiger is red. The tiger is round. The tiger needs the cat. The tiger visits the cat. If the bald eagle is rough and the bald eagle visits the cat then the bald eagle eats the cat. If something is young and it visits the cat then it does not need the tiger. If something visits the tiger and the tiger eats the bald eagle then the bald eagle needs the cat. If something needs the bald eagle then the bald eagle is red. If the cat needs the bald eagle and the cat is not round then the cat does not need the tiger. If something visits the tiger and it does not need the cat then the tiger does not need the bald eagle. If the cat visits the tiger then the tiger does not need the bald eagle. If something is red then it needs the bald eagle.
The bald eagle does not need the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle visits the tiger.[(triple2)] The cat visits the bald eagle.[(triple3)] The tiger eats the bald eagle.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is blue.[(triple6)] The tiger is red.[(triple7)] The tiger is round.[(triple8)] The tiger needs the cat.[(triple9)] The tiger visits the cat.[(triple10)] @1: The bald eagle needs the cat.[(((triple2 triple4) -> rule3))] The tiger needs the bald eagle.[(((triple7) -> rule8))] @2: The bald eagle is red.[(((((triple7) -> rule8)) -> rule4))] @3: The bald eagle needs the bald eagle.[(((((((triple7) -> rule8)) -> rule4)) -> rule8))]