The bald eagle eats the bear. The bald eagle is cold. The bald eagle does not like the bear. The bald eagle likes the tiger. The bald eagle visits the bear. The bear eats the bald eagle. The bear is blue. The bear does not visit the tiger. The mouse likes the tiger. The tiger eats the mouse. The tiger is cold. The tiger likes the bear. If the mouse is kind then the mouse eats the bald eagle. If something eats the bald eagle and the bald eagle likes the tiger then the tiger likes the mouse. If something likes the tiger then it visits the mouse. If the tiger likes the mouse and the mouse does not eat the tiger then the mouse is big. If something visits the bear and it is kind then the bear likes the tiger. Cold, kind things are big. If the tiger eats the bald eagle then the tiger does not eat the mouse. If something visits the mouse then it is kind. If the bald eagle eats the mouse and the mouse does not eat the bear then the bald eagle is big.
The mouse does not eat the tiger.
@0: The bald eagle does not like the bear.[(triple3)] The bald eagle eats the bear.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle likes the tiger.[(triple4)] The bald eagle visits the bear.[(triple5)] The bear does not visit the tiger.[(triple8)] The bear eats the bald eagle.[(triple6)] The bear is blue.[(triple7)] The mouse likes the tiger.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is cold.[(triple11)] The tiger likes the bear.[(triple12)] @1: The bald eagle visits the mouse.[(((triple4) -> rule3))] The mouse visits the mouse.[(((triple9) -> rule3))] The tiger likes the mouse.[(((triple6 triple4) -> rule2) OR ((((((((triple9) -> rule3)) -> rule8)) -> rule1) triple4) -> rule2))] @2: The bald eagle is kind.[(((((triple4) -> rule3)) -> rule8))] The mouse is kind.[(((((triple9) -> rule3)) -> rule8))] @3: The bald eagle is big.[(((triple2 ((((triple4) -> rule3)) -> rule8)) -> rule6))] The bear likes the tiger.[(((triple5 ((((triple4) -> rule3)) -> rule8)) -> rule5))] The mouse eats the bald eagle.[(((((((triple9) -> rule3)) -> rule8)) -> rule1))] @4: The bear visits the mouse.[(((((triple5 ((((triple4) -> rule3)) -> rule8)) -> rule5)) -> rule3))] @5: The bear is kind.[(((((((triple5 ((((triple4) -> rule3)) -> rule8)) -> rule5)) -> rule3)) -> rule8))]