The bald eagle eats the mouse. The bald eagle is big. The bald eagle is red. The bald eagle needs the cow. The bald eagle does not see the cow. The bald eagle does not see the mouse. The cow does not need the mouse. The cow sees the bald eagle. The mouse needs the bald eagle. The mouse needs the cow. The mouse does not see the bald eagle. The mouse sees the cow. If something sees the mouse and the mouse eats the bald eagle then the bald eagle eats the cow. If the cow is big then the cow does not need the mouse. If something needs the bald eagle then the bald eagle is cold. If the cow eats the mouse and the cow eats the bald eagle then the mouse does not eat the cow. If something eats the bald eagle then it eats the mouse. If something sees the bald eagle then it eats the bald eagle. If something eats the cow and the cow is blue then the cow sees the mouse. If something eats the bald eagle and it does not eat the cow then the bald eagle eats the mouse.
The bald eagle is not cold.
@0: The bald eagle does not see the cow.[(triple5)] The bald eagle does not see the mouse.[(triple6)] The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle needs the cow.[(triple4)] The cow does not need the mouse.[(triple7)] The cow sees the bald eagle.[(triple8)] The mouse does not see the bald eagle.[(triple11)] The mouse needs the bald eagle.[(triple9)] The mouse needs the cow.[(triple10)] The mouse sees the cow.[(triple12)] @1: The bald eagle is cold.[(((triple9) -> rule3))] The cow eats the bald eagle.[(((triple8) -> rule6))] @2: The cow eats the mouse.[(((((triple8) -> rule6)) -> rule5))] @3: The mouse does not eat the cow.[(((((((triple8) -> rule6)) -> rule5) ((triple8) -> rule6)) -> rule4))]