The bald eagle is nice. The bald eagle is rough. The bald eagle likes the lion. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The bald eagle visits the lion. The lion is nice. The lion is young. The lion likes the bald eagle. The lion sees the bald eagle. The lion visits the squirrel. The squirrel is blue. The squirrel is round. The squirrel is young. The squirrel likes the bald eagle. If something likes the bald eagle and it sees the bald eagle then it is nice. If something visits the squirrel and the squirrel is nice then the squirrel visits the lion. If something is round then it visits the bald eagle. If something is rough and it visits the squirrel then the squirrel visits the bald eagle. If the squirrel sees the bald eagle then the squirrel sees the lion. If something is nice and it likes the lion then it sees the lion.
The bald eagle does not see the squirrel.
@0: The bald eagle is nice.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The bald eagle visits the lion.[(triple6)] The lion is nice.[(triple7 OR ((triple9 triple10) -> rule1))] The lion is young.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion sees the bald eagle.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the bald eagle.[(triple15)] @1: The bald eagle sees the lion.[(((triple1 triple3) -> rule6))] The squirrel visits the bald eagle.[(((triple13) -> rule3))]