The bald eagle chases the mouse. The bald eagle is cold. The bald eagle likes the lion. The bald eagle sees the lion. The cat likes the bald eagle. The cat likes the mouse. The lion likes the bald eagle. The lion sees the bald eagle. The mouse is big. The mouse likes the lion. If something likes the lion and the lion chases the mouse then the lion sees the cat. If something sees the bald eagle then it is big. If something is big then it chases the mouse. If something chases the lion and the lion is kind then it sees the cat. If something is nice and green then it chases the mouse. If the lion is nice and the lion is big then the lion is cold.
The bald eagle is not green.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle sees the lion.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat likes the mouse.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion sees the bald eagle.[(triple8)] The mouse is big.[(triple9)] The mouse likes the lion.[(triple10)] @1: The lion is big.[(((triple8) -> rule2))] The mouse chases the mouse.[(((triple9) -> rule3))] @2: The lion chases the mouse.[(((((triple8) -> rule2)) -> rule3))] @3: The lion sees the cat.[(((triple10 ((((triple8) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple8) -> rule2)) -> rule3)) -> rule1))]