The bald eagle is young. The bald eagle likes the lion. The lion is big. The lion is cold. The lion likes the mouse. The lion sees the bald eagle. The lion sees the squirrel. The lion visits the mouse. The mouse likes the lion. The mouse sees the bald eagle. The squirrel is big. The squirrel is green. The squirrel likes the mouse. The squirrel sees the bald eagle. The squirrel sees the mouse. If the bald eagle sees the squirrel then the bald eagle is green. If something is green then it likes the bald eagle. If the lion visits the mouse then the mouse sees the squirrel. If something sees the squirrel and the squirrel visits the lion then it visits the squirrel. If something visits the bald eagle then the bald eagle visits the squirrel. If the mouse sees the squirrel then the squirrel visits the bald eagle.
The lion is not big.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the lion.[(triple2)] The lion is big.[(triple3)] The lion is cold.[(triple4)] The lion likes the mouse.[(triple5)] The lion sees the bald eagle.[(triple6)] The lion sees the squirrel.[(triple7)] The lion visits the mouse.[(triple8)] The mouse likes the lion.[(triple9)] The mouse sees the bald eagle.[(triple10)] The squirrel is big.[(triple11)] The squirrel is green.[(triple12)] The squirrel likes the mouse.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The mouse sees the squirrel.[(((triple8) -> rule3))] The squirrel likes the bald eagle.[(((triple12) -> rule2))] @2: The squirrel visits the bald eagle.[(((((triple8) -> rule3)) -> rule6))] @3: The bald eagle visits the squirrel.[(((((((triple8) -> rule3)) -> rule6)) -> rule5))]