The bald eagle eats the mouse. The bald eagle is round. The bald eagle needs the mouse. The cat is nice. The cat needs the bald eagle. The mouse eats the cat. The mouse needs the bald eagle. If something is nice and it eats the mouse then the mouse needs the cat. If something chases the bald eagle and the bald eagle eats the mouse then it needs the bald eagle. If something eats the bald eagle and the bald eagle is red then it is cold. If something needs the bald eagle and the bald eagle is round then it eats the mouse. If something needs the mouse and it eats the bald eagle then the bald eagle eats the mouse. If the mouse needs the bald eagle and the bald eagle eats the cat then the cat needs the mouse.
The mouse needs the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the mouse.[(triple3)] The cat is nice.[(triple4)] The cat needs the bald eagle.[(triple5)] The mouse eats the cat.[(triple6)] The mouse needs the bald eagle.[(triple7)] @1: The cat eats the mouse.[(((triple5 triple2) -> rule4))] The mouse eats the mouse.[(((triple7 triple2) -> rule4))] @2: The mouse needs the cat.[(((triple4 ((triple5 triple2) -> rule4)) -> rule1))]