The bald eagle chases the mouse. The bald eagle is big. The bald eagle is red. The bear is big. The mouse is blue. The mouse does not see the bear. The squirrel eats the bald eagle. The squirrel eats the mouse. The squirrel is not rough. The squirrel does not see the bear. If something chases the bald eagle and the bald eagle sees the mouse then the mouse chases the bear. If something eats the squirrel then it is not red. If the squirrel is big then the squirrel is red. If something sees the squirrel then the squirrel chases the bear. If the mouse sees the squirrel and the squirrel is red then the squirrel chases the bald eagle. If something chases the bald eagle then it chases the squirrel. If something is red then it does not eat the mouse. If something sees the squirrel and the squirrel does not eat the bear then the bear is not red.
The squirrel is not rough.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is red.[(triple3)] The bear is big.[(triple4)] The mouse does not see the bear.[(triple6)] The mouse is blue.[(triple5)] The squirrel does not see the bear.[(triple10)] The squirrel eats the bald eagle.[(triple7)] The squirrel eats the mouse.[(triple8)] The squirrel is not rough.[(triple9)] @1: The bald eagle does not eat the mouse.[(((triple3) -> rule7))]