The bald eagle is cold. The tiger is cold. If the tiger is young and the tiger is not nice then the tiger eats the bald eagle. If someone is young then they eat the tiger. If someone is cold then they see the bald eagle. If the tiger sees the bald eagle then the tiger is young. If someone sees the tiger then they do not chase the bald eagle. If someone chases the tiger then they see the tiger. If someone sees the bald eagle then the bald eagle does not see the tiger. If someone is nice and not young then they eat the bald eagle.
The tiger is young.
@0: The bald eagle is cold.[(triple1)] The tiger is cold.[(triple2)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule3))] The tiger sees the bald eagle.[(((triple2) -> rule3))] @2: The bald eagle does not see the tiger.[(((((triple1) -> rule3)) -> rule7) OR ((((triple2) -> rule3)) -> rule7))] The tiger is young.[(((((triple2) -> rule3)) -> rule4))] @3: The tiger eats the tiger.[(((((((triple2) -> rule3)) -> rule4)) -> rule2))]