The bald eagle is not big. The bald eagle is blue. The bald eagle likes the mouse. The cow chases the bald eagle. The cow chases the mouse. The cow is round. The cow likes the bald eagle. The cow needs the bald eagle. The cow does not need the mouse. The mouse chases the cow. The mouse is big. The mouse is green. The mouse does not like the bald eagle. The mouse likes the cow. The mouse needs the cow. If something likes the bald eagle and it chases the bald eagle then the bald eagle does not like the cow. If something needs the mouse then it does not like the mouse. If something needs the cow and it is big then it is cold.
The mouse is not cold.
@0: The bald eagle is blue.[(triple2)] The bald eagle is not big.[(triple1)] The bald eagle likes the mouse.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the mouse.[(triple5)] The cow does not need the mouse.[(triple9)] The cow is round.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow needs the bald eagle.[(triple8)] The mouse chases the cow.[(triple10)] The mouse does not like the bald eagle.[(triple13)] The mouse is big.[(triple11)] The mouse is green.[(triple12)] The mouse likes the cow.[(triple14)] The mouse needs the cow.[(triple15)] @1: The bald eagle does not like the cow.[(((triple7 triple4) -> rule1))] The mouse is cold.[(((triple15 triple11) -> rule3))]