The bald eagle chases the tiger. The bald eagle eats the mouse. The bald eagle is cold. The mouse chases the bald eagle. The mouse eats the tiger. The mouse is cold. The mouse is red. The mouse visits the bald eagle. The mouse visits the tiger. The tiger chases the bald eagle. The tiger chases the mouse. The tiger eats the bald eagle. The tiger eats the mouse. The tiger is cold. The tiger visits the bald eagle. The tiger visits the mouse. If the tiger eats the mouse then the mouse visits the tiger. If something is cold and it chases the bald eagle then the bald eagle is green. If something is rough then it visits the tiger.
The tiger does not visit the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is cold.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse eats the tiger.[(triple5)] The mouse is cold.[(triple6)] The mouse is red.[(triple7)] The mouse visits the bald eagle.[(triple8)] The mouse visits the tiger.[(triple9 OR ((triple13) -> rule1))] The tiger chases the bald eagle.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is cold.[(triple14)] The tiger visits the bald eagle.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The bald eagle is green.[(((triple14 triple10) -> rule2) OR ((triple6 triple4) -> rule2))]