The bald eagle chases the tiger. The lion is cold. The tiger eats the bald eagle. If something is cold and green then it likes the lion. If something chases the tiger and the tiger eats the bald eagle then the bald eagle is cold. If something chases the lion then the lion is red. If something eats the tiger then the tiger eats the lion. If something is cold then it eats the bald eagle. If something eats the bald eagle then it chases the lion.
The bald eagle does not chase the lion.
@0: The bald eagle chases the tiger.[(triple1)] The lion is cold.[(triple2)] The tiger eats the bald eagle.[(triple3)] @1: The bald eagle is cold.[(((triple1 triple3) -> rule2))] The lion eats the bald eagle.[(((triple2) -> rule5))] The tiger chases the lion.[(((triple3) -> rule6))] @2: The bald eagle eats the bald eagle.[(((((triple1 triple3) -> rule2)) -> rule5))] The lion chases the lion.[(((((triple2) -> rule5)) -> rule6))] The lion is red.[(((((triple3) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple1 triple3) -> rule2)) -> rule5)) -> rule6)) -> rule3))] @3: The bald eagle chases the lion.[(((((((triple1 triple3) -> rule2)) -> rule5)) -> rule6))]