The bald eagle is cold. The bald eagle is round. The bald eagle likes the mouse. The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse is green. The mouse is young. The mouse likes the bald eagle. The mouse needs the bald eagle. The mouse sees the bald eagle. If something likes the bald eagle and it needs the mouse then the mouse likes the bald eagle. If something is big and it likes the bald eagle then the bald eagle is young. If something likes the mouse then it is big. If something sees the bald eagle then it needs the mouse. All young things are big. If something likes the mouse and it is young then the mouse is cold.
The bald eagle likes the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle sees the mouse.[(triple5)] The mouse is green.[(triple6)] The mouse is young.[(triple7)] The mouse likes the bald eagle.[(triple8)] The mouse needs the bald eagle.[(triple9)] The mouse sees the bald eagle.[(triple10)] @1: The bald eagle is big.[(((triple3) -> rule3) OR ((((((triple7) -> rule5) triple8) -> rule2)) -> rule5))] The mouse is big.[(((triple7) -> rule5))] The mouse needs the mouse.[(((triple10) -> rule4))] @2: The bald eagle is young.[(((((triple7) -> rule5) triple8) -> rule2))] @3: The mouse is cold.[(((triple3 ((((triple7) -> rule5) triple8) -> rule2)) -> rule6))]