The bald eagle is green. The bald eagle likes the mouse. The cow is blue. The lion is not kind. The lion likes the cow. The lion sees the bald eagle. The mouse is blue. All rough, cold things are blue. If the bald eagle chases the lion then the bald eagle likes the lion. If something sees the bald eagle then it chases the lion. If something is green then it sees the bald eagle. If something sees the bald eagle then the bald eagle likes the cow. If something sees the mouse and it likes the lion then the lion sees the cow. If something chases the cow then the cow is not green. If something sees the bald eagle and it is not kind then it sees the lion.
The mouse likes the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the mouse.[(triple2)] The cow is blue.[(triple3)] The lion is not kind.[(triple4)] The lion likes the cow.[(triple5)] The lion sees the bald eagle.[(triple6)] The mouse is blue.[(triple7)] @1: The bald eagle likes the cow.[(((triple6) -> rule5) OR ((((triple1) -> rule4)) -> rule5))] The bald eagle sees the bald eagle.[(((triple1) -> rule4))] The lion chases the lion.[(((triple6) -> rule3))] The lion sees the lion.[(((triple6 triple4) -> rule8))] @2: The bald eagle chases the lion.[(((((triple1) -> rule4)) -> rule3))] @3: The bald eagle likes the lion.[(((((((triple1) -> rule4)) -> rule3)) -> rule2))]