The bald eagle is kind. The tiger eats the bald eagle. The tiger needs the bald eagle. If someone is nice then they see the bald eagle. If someone needs the tiger then the tiger eats the bald eagle. If someone sees the bald eagle then they see the tiger. If the bald eagle eats the tiger then the tiger is nice. If someone sees the bald eagle then the bald eagle is nice. If someone eats the bald eagle then the bald eagle does not eat the tiger. If the tiger needs the bald eagle and the tiger eats the bald eagle then the tiger sees the bald eagle. If someone sees the bald eagle and they are not nice then the bald eagle does not see the tiger.
The bald eagle sees the bald eagle.
@0: The bald eagle is kind.[(triple1)] The tiger eats the bald eagle.[(triple2)] The tiger needs the bald eagle.[(triple3)] @1: The bald eagle does not eat the tiger.[(((triple2) -> rule6))] The tiger sees the bald eagle.[(((triple3 triple2) -> rule7))] @2: The bald eagle is nice.[(((((triple3 triple2) -> rule7)) -> rule5))] The tiger sees the tiger.[(((((triple3 triple2) -> rule7)) -> rule3))] @3: The bald eagle sees the bald eagle.[(((((((triple3 triple2) -> rule7)) -> rule5)) -> rule1))] @4: The bald eagle sees the tiger.[(((((((((triple3 triple2) -> rule7)) -> rule5)) -> rule1)) -> rule3))]