The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is kind. The bald eagle likes the mouse. The bald eagle likes the tiger. The bald eagle visits the mouse. The bald eagle visits the tiger. The mouse eats the bald eagle. The mouse is kind. The mouse visits the bald eagle. The mouse visits the tiger. The tiger eats the mouse. The tiger is kind. The tiger is rough. The tiger likes the bald eagle. The tiger likes the mouse. If something likes the mouse then it visits the tiger. If something visits the bald eagle and the bald eagle eats the tiger then it likes the tiger. If something visits the bald eagle and it likes the bald eagle then the bald eagle eats the tiger. If something eats the tiger then it is green. If something eats the mouse then it likes the bald eagle. If something eats the mouse then the mouse eats the tiger.
The mouse is rough.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle likes the tiger.[(triple5)] The bald eagle visits the mouse.[(triple6)] The bald eagle visits the tiger.[(triple7 OR ((triple4) -> rule1))] The mouse eats the bald eagle.[(triple8)] The mouse is kind.[(triple9)] The mouse visits the bald eagle.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger is kind.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the bald eagle.[(triple15 OR ((triple12) -> rule5))] The tiger likes the mouse.[(triple16)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule5))] The mouse eats the tiger.[(((triple1) -> rule6) OR ((triple12) -> rule6))] The tiger visits the tiger.[(((triple16) -> rule1))] @2: The mouse is green.[(((((triple1) -> rule6)) -> rule4) OR ((((triple12) -> rule6)) -> rule4))]