The bald eagle is big. The bald eagle is green. The cow eats the bald eagle. The cow is not blue. The mouse is not blue. The mouse is nice. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel eats the bald eagle. The squirrel eats the mouse. The squirrel is cold. The squirrel is green. If something needs the bald eagle and it is not big then the bald eagle eats the mouse. If the cow needs the squirrel then the cow is not green. If something is nice then it does not need the bald eagle.
The bald eagle sees the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow is not blue.[(triple4)] The mouse is nice.[(triple6)] The mouse is not blue.[(triple5)] The mouse needs the squirrel.[(triple7)] The mouse sees the squirrel.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] @1: The mouse does not need the bald eagle.[(((triple6) -> rule3))]