The bald eagle is not big. The bald eagle is red. The bald eagle is round. The bald eagle visits the squirrel. The mouse chases the squirrel. The mouse eats the bald eagle. The mouse eats the squirrel. The mouse visits the squirrel. The squirrel chases the bald eagle. The squirrel is big. If the mouse chases the squirrel then the squirrel visits the bald eagle. If something visits the squirrel and it chases the squirrel then the squirrel is young. If the squirrel does not chase the bald eagle then the squirrel is not round. If the squirrel eats the mouse then the squirrel is round. If something eats the mouse then it is young. If something chases the bald eagle and the bald eagle chases the squirrel then it eats the mouse. If the mouse chases the bald eagle and the mouse visits the squirrel then the bald eagle chases the squirrel. If something visits the bald eagle and it does not eat the squirrel then the squirrel eats the mouse.
The squirrel is not round.
@0: The bald eagle is not big.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse eats the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel is big.[(triple10)] @1: The squirrel is young.[(((triple8 triple5) -> rule2))] The squirrel visits the bald eagle.[(((triple5) -> rule1))]