The bald eagle needs the lion. The bald eagle visits the mouse. The cow visits the bald eagle. The lion is green. The lion sees the cow. The lion visits the cow. The mouse is blue. If the cow needs the mouse then the mouse sees the cow. If something visits the cow and it is blue then the cow sees the mouse. If something is green and it needs the lion then it needs the bald eagle. If the mouse is blue then the mouse needs the lion. If something needs the lion then it is green. If something sees the lion and the lion does not need the cow then it is big.
The cow is not big.
@0: The bald eagle needs the lion.[(triple1)] The bald eagle visits the mouse.[(triple2)] The cow visits the bald eagle.[(triple3)] The lion is green.[(triple4)] The lion sees the cow.[(triple5)] The lion visits the cow.[(triple6)] The mouse is blue.[(triple7)] @1: The bald eagle is green.[(((triple1) -> rule5))] The mouse needs the lion.[(((triple7) -> rule4))] @2: The bald eagle needs the bald eagle.[(((((triple1) -> rule5) triple1) -> rule3))] The mouse is green.[(((((triple7) -> rule4)) -> rule5))] @3: The mouse needs the bald eagle.[(((((((triple7) -> rule4)) -> rule5) ((triple7) -> rule4)) -> rule3))]