The bald eagle chases the lion. The bald eagle chases the squirrel. The bald eagle is not kind. The bald eagle is young. The bald eagle visits the lion. The lion does not chase the squirrel. The lion is not big. The lion is green. The lion sees the squirrel. The lion visits the bald eagle. The lion visits the squirrel. The squirrel is kind. The squirrel is round. The squirrel sees the bald eagle. The squirrel sees the lion. The squirrel visits the bald eagle. If something sees the squirrel then the squirrel sees the bald eagle. If something is big and it visits the lion then the lion does not visit the squirrel. If something chases the lion then it is green.
The lion does not visit the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is not kind.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle visits the lion.[(triple5)] The lion does not chase the squirrel.[(triple6)] The lion is green.[(triple8)] The lion is not big.[(triple7)] The lion sees the squirrel.[(triple9)] The lion visits the bald eagle.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is round.[(triple13)] The squirrel sees the bald eagle.[(triple14 OR ((triple9) -> rule1))] The squirrel sees the lion.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The bald eagle is green.[(((triple1) -> rule3))]