The bald eagle eats the cat. The bald eagle is round. The bald eagle likes the cat. The bald eagle likes the mouse. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The cat eats the squirrel. The cat is nice. The cat needs the bald eagle. The mouse eats the bald eagle. The mouse is big. The mouse needs the cat. The squirrel eats the bald eagle. The squirrel is blue. The squirrel likes the bald eagle. The squirrel needs the mouse. If the bald eagle is cold and the bald eagle needs the squirrel then the bald eagle likes the mouse. If the squirrel eats the cat then the cat needs the bald eagle. If something is blue and nice then it eats the mouse. If something needs the squirrel then the squirrel is nice. If the mouse likes the bald eagle then the mouse is nice. If the squirrel eats the cat and the squirrel is nice then the squirrel eats the mouse. If the mouse eats the bald eagle and the mouse is round then the mouse is nice. If something is big and round then it likes the mouse.
The mouse is big.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle likes the squirrel.[(triple5)] The bald eagle needs the squirrel.[(triple6)] The cat eats the squirrel.[(triple7)] The cat is nice.[(triple8)] The cat needs the bald eagle.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse is big.[(triple11)] The mouse needs the cat.[(triple12)] The squirrel eats the bald eagle.[(triple13)] The squirrel is blue.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel needs the mouse.[(triple16)] @1: The squirrel is nice.[(((triple6) -> rule4))] @2: The squirrel eats the mouse.[(((triple14 ((triple6) -> rule4)) -> rule3))]