The bald eagle eats the lion. The bald eagle is cold. The bald eagle sees the cat. The cat eats the lion. The cat is round. The cat sees the bald eagle. The lion chases the cat. The lion eats the cat. The lion eats the squirrel. The squirrel chases the bald eagle. The squirrel chases the lion. The squirrel eats the lion. The squirrel is cold. The squirrel is kind. If something is round then it sees the cat. If something chases the cat and the cat is cold then the cat eats the squirrel. If something chases the cat and it is kind then it is round. If the lion eats the squirrel and the lion sees the cat then the lion is young. If something is cold then it chases the cat. If the squirrel eats the bald eagle and the bald eagle is cold then the bald eagle is round. If something chases the bald eagle and it is young then it chases the squirrel. If something eats the squirrel and it eats the cat then the squirrel chases the cat. If something is round then it eats the bald eagle.
The lion chases the bald eagle.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle sees the cat.[(triple3 OR ((((((((((triple13) -> rule5) triple14) -> rule3)) -> rule9) triple2) -> rule6)) -> rule1) OR ((((((((((triple9 triple8) -> rule8) triple14) -> rule3)) -> rule9) triple2) -> rule6)) -> rule1))] The cat eats the lion.[(triple4)] The cat is round.[(triple5)] The cat sees the bald eagle.[(triple6)] The lion chases the cat.[(triple7)] The lion eats the cat.[(triple8)] The lion eats the squirrel.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel eats the lion.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is kind.[(triple14)] @1: The bald eagle chases the cat.[(((triple2) -> rule5))] The cat eats the bald eagle.[(((triple5) -> rule9))] The cat sees the cat.[(((triple5) -> rule1))] The squirrel chases the cat.[(((triple13) -> rule5) OR ((triple9 triple8) -> rule8))] @2: The squirrel is round.[(((((triple13) -> rule5) triple14) -> rule3) OR ((((triple9 triple8) -> rule8) triple14) -> rule3))] @3: The squirrel eats the bald eagle.[(((((((triple13) -> rule5) triple14) -> rule3)) -> rule9) OR ((((((triple9 triple8) -> rule8) triple14) -> rule3)) -> rule9))] The squirrel sees the cat.[(((((((triple13) -> rule5) triple14) -> rule3)) -> rule1) OR ((((((triple9 triple8) -> rule8) triple14) -> rule3)) -> rule1))] @4: The bald eagle is round.[(((((((((triple13) -> rule5) triple14) -> rule3)) -> rule9) triple2) -> rule6) OR ((((((((triple9 triple8) -> rule8) triple14) -> rule3)) -> rule9) triple2) -> rule6))] @5: The bald eagle eats the bald eagle.[(((((((((((triple13) -> rule5) triple14) -> rule3)) -> rule9) triple2) -> rule6)) -> rule9) OR ((((((((((triple9 triple8) -> rule8) triple14) -> rule3)) -> rule9) triple2) -> rule6)) -> rule9))]