The bald eagle chases the mouse. The bald eagle is cold. The bald eagle is nice. The bald eagle is round. The bald eagle likes the mouse. The bald eagle needs the mouse. The mouse chases the bald eagle. The mouse is blue. The mouse is round. The mouse likes the bald eagle. If something needs the bald eagle and it chases the bald eagle then it likes the bald eagle. If something likes the bald eagle and the bald eagle is round then the bald eagle is red. If something is cold then it is blue. If something is nice and cold then it needs the bald eagle. Cold, round things are blue. If the bald eagle likes the mouse then the mouse chases the bald eagle.
The mouse does not need the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle needs the mouse.[(triple6)] The mouse chases the bald eagle.[(triple7 OR ((triple5) -> rule6))] The mouse is blue.[(triple8)] The mouse is round.[(triple9)] The mouse likes the bald eagle.[(triple10)] @1: The bald eagle is blue.[(((triple2) -> rule3) OR ((triple2 triple4) -> rule5))] The bald eagle is red.[(((triple10 triple4) -> rule2))] The bald eagle needs the bald eagle.[(((triple3 triple2) -> rule4))]