The bald eagle chases the mouse. The bald eagle chases the squirrel. The bald eagle eats the mouse. The bald eagle is nice. The bald eagle is rough. The mouse does not chase the squirrel. The squirrel chases the bald eagle. The squirrel chases the mouse. The squirrel does not eat the bald eagle. The squirrel does not eat the mouse. The squirrel is cold. The squirrel is round. If something is rough and green then it eats the mouse. If the bald eagle is green then the bald eagle is nice. If something likes the mouse and the mouse is nice then it is cold. If the mouse does not chase the bald eagle then the bald eagle does not chase the mouse. If something chases the mouse then the mouse eats the bald eagle. If the mouse eats the squirrel then the mouse is nice. If the mouse eats the squirrel and the mouse likes the squirrel then the squirrel is round. If something chases the bald eagle then the bald eagle does not eat the squirrel.
The mouse is not cold.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle eats the mouse.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is rough.[(triple5)] The mouse does not chase the squirrel.[(triple6)] The squirrel chases the bald eagle.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel does not eat the bald eagle.[(triple9)] The squirrel does not eat the mouse.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is round.[(triple12)] @1: The bald eagle does not eat the squirrel.[(((triple7) -> rule8))] The mouse eats the bald eagle.[(((triple1) -> rule5) OR ((triple8) -> rule5))]