The bald eagle eats the mouse. The bald eagle does not eat the tiger. The bald eagle sees the tiger. The bear eats the mouse. The bear sees the mouse. The bear does not visit the bald eagle. The mouse is cold. The tiger eats the mouse. The tiger is cold. The tiger is young. The tiger sees the bear. The tiger sees the mouse. If someone visits the tiger then the tiger eats the bald eagle. If someone is cold then they visit the tiger. If someone sees the bald eagle then they are young. If the tiger is cold then the tiger does not visit the bear. If someone sees the bear and the bear visits the bald eagle then the bald eagle visits the mouse. If someone sees the bald eagle and the bald eagle does not visit the bear then the bald eagle does not visit the mouse. If someone sees the mouse then the mouse sees the bear. If someone eats the bald eagle then the bald eagle eats the bear.
The bald eagle is young.
@0: The bald eagle does not eat the tiger.[(triple2)] The bald eagle eats the mouse.[(triple1)] The bald eagle sees the tiger.[(triple3)] The bear does not visit the bald eagle.[(triple6)] The bear eats the mouse.[(triple4)] The bear sees the mouse.[(triple5)] The mouse is cold.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is cold.[(triple9)] The tiger is young.[(triple10)] The tiger sees the bear.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The mouse sees the bear.[(((triple12) -> rule7) OR ((triple5) -> rule7))] The mouse visits the tiger.[(((triple7) -> rule2))] The tiger does not visit the bear.[(((triple9) -> rule4))] The tiger visits the tiger.[(((triple9) -> rule2))] @2: The tiger eats the bald eagle.[(((((triple7) -> rule2)) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] @3: The bald eagle eats the bear.[(((((((triple7) -> rule2)) -> rule1)) -> rule8) OR ((((((triple9) -> rule2)) -> rule1)) -> rule8))]