The bald eagle is not young. The bald eagle does not like the mouse. The bald eagle needs the cow. The bald eagle visits the cow. The bald eagle visits the mouse. The bald eagle visits the tiger. The cow does not like the bald eagle. The mouse is big. The mouse is nice. The mouse needs the cow. The mouse visits the cow. The tiger visits the bald eagle. If something likes the bald eagle then it is nice. If the bald eagle is big then the bald eagle visits the mouse. If something is young then it visits the cow. If the mouse needs the cow and the mouse is young then the cow visits the bald eagle. If something is big then it likes the bald eagle. If something visits the bald eagle then it is big.
The tiger does not like the bald eagle.
@0: The bald eagle does not like the mouse.[(triple2)] The bald eagle is not young.[(triple1)] The bald eagle needs the cow.[(triple3)] The bald eagle visits the cow.[(triple4)] The bald eagle visits the mouse.[(triple5)] The bald eagle visits the tiger.[(triple6)] The cow does not like the bald eagle.[(triple7)] The mouse is big.[(triple8)] The mouse is nice.[(triple9 OR ((((triple8) -> rule5)) -> rule1))] The mouse needs the cow.[(triple10)] The mouse visits the cow.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The mouse likes the bald eagle.[(((triple8) -> rule5))] The tiger is big.[(((triple12) -> rule6))] @2: The tiger likes the bald eagle.[(((((triple12) -> rule6)) -> rule5))] @3: The tiger is nice.[(((((((triple12) -> rule6)) -> rule5)) -> rule1))]