The bald eagle is big. The bald eagle is nice. The bald eagle likes the mouse. The bald eagle likes the squirrel. The cat chases the mouse. The cat is kind. The cat is young. The cat likes the bald eagle. The mouse chases the squirrel. The mouse is big. The squirrel chases the mouse. The squirrel eats the bald eagle. The squirrel eats the cat. The squirrel is big. The squirrel is young. The squirrel likes the bald eagle. If something is young and it chases the cat then it likes the bald eagle. If the cat likes the mouse and the cat is not green then the mouse is green. If the bald eagle eats the squirrel then the bald eagle is big. If something eats the cat and the cat eats the mouse then the mouse is young. If something chases the bald eagle then the bald eagle chases the mouse. Kind things are nice. If something chases the bald eagle then the bald eagle chases the cat. If something chases the bald eagle then it does not chase the cat.
The squirrel does not chase the mouse.
@0: The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The cat chases the mouse.[(triple5)] The cat is kind.[(triple6)] The cat is young.[(triple7)] The cat likes the bald eagle.[(triple8)] The mouse chases the squirrel.[(triple9)] The mouse is big.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel eats the cat.[(triple13)] The squirrel is big.[(triple14)] The squirrel is young.[(triple15)] The squirrel likes the bald eagle.[(triple16)] @1: The cat is nice.[(((triple6) -> rule6))]