The bald eagle likes the tiger. The bald eagle needs the mouse. The bald eagle needs the tiger. The bald eagle sees the tiger. The mouse is blue. The tiger is big. The tiger likes the mouse. All blue, round things are red. If something sees the mouse and it likes the tiger then the tiger needs the mouse. If something likes the bald eagle and the bald eagle is red then it needs the mouse. If something needs the bald eagle and it likes the bald eagle then it sees the tiger. If something likes the tiger then it is blue. If something is blue then it likes the bald eagle.
The bald eagle is blue.
@0: The bald eagle likes the tiger.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle sees the tiger.[(triple4)] The mouse is blue.[(triple5)] The tiger is big.[(triple6)] The tiger likes the mouse.[(triple7)] @1: The bald eagle is blue.[(((triple1) -> rule5))] The mouse likes the bald eagle.[(((triple5) -> rule6))] @2: The bald eagle likes the bald eagle.[(((((triple1) -> rule5)) -> rule6))]