The bald eagle chases the mouse. The bald eagle is big. The bald eagle visits the mouse. The bald eagle visits the squirrel. The cat chases the bald eagle. The cat is nice. The mouse visits the squirrel. The squirrel chases the cat. The squirrel is big. The squirrel is nice. The squirrel is not red. The squirrel is round. The squirrel likes the cat. The squirrel likes the mouse. The squirrel visits the bald eagle. If the squirrel is red and the squirrel visits the mouse then the squirrel is big. If someone visits the squirrel and the squirrel likes the bald eagle then the bald eagle chases the cat. If someone is young and they visit the bald eagle then the bald eagle is round. If someone chases the mouse then they like the bald eagle. If someone chases the cat and the cat visits the squirrel then the squirrel chases the mouse. If someone visits the bald eagle and they like the mouse then the mouse is big. If someone likes the bald eagle and they do not like the mouse then the bald eagle does not like the cat. If the squirrel does not chase the mouse then the mouse does not chase the squirrel.
The bald eagle does not visit the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat is nice.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel is big.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is not red.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel visits the bald eagle.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule4))] The mouse is big.[(((triple15 triple14) -> rule6))]