The bald eagle is round. The bald eagle needs the mouse. The bald eagle sees the lion. The lion chases the bald eagle. The lion chases the mouse. The lion is green. The lion is nice. The lion needs the bald eagle. The lion needs the squirrel. The lion sees the mouse. The mouse is big. The mouse sees the lion. The squirrel chases the mouse. The squirrel is blue. The squirrel is nice. The squirrel sees the lion. If something needs the bald eagle and it is big then it chases the bald eagle. If something sees the bald eagle and the bald eagle needs the lion then it sees the lion. If something sees the bald eagle then the bald eagle chases the mouse. If something is round then it is nice. If something is green then it sees the squirrel. If the lion is round then the lion sees the squirrel. If something sees the squirrel then the squirrel sees the bald eagle. If something sees the lion then it is big.
The lion chases the mouse.
@0: The bald eagle is round.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion chases the bald eagle.[(triple4)] The lion chases the mouse.[(triple5)] The lion is green.[(triple6)] The lion is nice.[(triple7)] The lion needs the bald eagle.[(triple8)] The lion needs the squirrel.[(triple9)] The lion sees the mouse.[(triple10)] The mouse is big.[(triple11 OR ((triple12) -> rule8))] The mouse sees the lion.[(triple12)] The squirrel chases the mouse.[(triple13)] The squirrel is blue.[(triple14)] The squirrel is nice.[(triple15)] The squirrel sees the lion.[(triple16)] @1: The bald eagle is big.[(((triple3) -> rule8))] The bald eagle is nice.[(((triple1) -> rule4))] The lion sees the squirrel.[(((triple6) -> rule5))] The squirrel is big.[(((triple16) -> rule8))] @2: The squirrel sees the bald eagle.[(((((triple6) -> rule5)) -> rule7))] @3: The bald eagle chases the mouse.[(((((((triple6) -> rule5)) -> rule7)) -> rule3))]