The bald eagle chases the squirrel. The bald eagle is green. The bald eagle is nice. The bald eagle is young. The bald eagle needs the lion. The bald eagle sees the squirrel. The lion chases the squirrel. The lion is young. The lion sees the squirrel. The squirrel chases the bald eagle. The squirrel chases the lion. The squirrel is cold. The squirrel needs the bald eagle. The squirrel needs the lion. The squirrel sees the bald eagle. The squirrel sees the lion. If something chases the squirrel and the squirrel sees the lion then it is rough. If the bald eagle is cold and the bald eagle sees the squirrel then the squirrel needs the lion. If the lion is young and the lion chases the squirrel then the squirrel is young. If the bald eagle is young and the bald eagle is rough then the bald eagle chases the lion. If something needs the bald eagle then the bald eagle sees the squirrel. If something needs the squirrel then it needs the lion. If something is cold and it chases the squirrel then it is rough. If the bald eagle is young then the bald eagle chases the squirrel.
The bald eagle does not chase the squirrel.
@0: The bald eagle chases the squirrel.[(triple1 OR ((triple4) -> rule8))] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the lion.[(triple5)] The bald eagle sees the squirrel.[(triple6 OR ((triple13) -> rule5))] The lion chases the squirrel.[(triple7)] The lion is young.[(triple8)] The lion sees the squirrel.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel is cold.[(triple12)] The squirrel needs the bald eagle.[(triple13)] The squirrel needs the lion.[(triple14)] The squirrel sees the bald eagle.[(triple15)] The squirrel sees the lion.[(triple16)] @1: The bald eagle is rough.[(((triple1 triple16) -> rule1) OR ((((triple4) -> rule8) triple16) -> rule1))] The lion is rough.[(((triple7 triple16) -> rule1))] The squirrel is young.[(((triple8 triple7) -> rule3))] @2: The bald eagle chases the lion.[(((triple4 ((triple1 triple16) -> rule1)) -> rule4) OR ((triple4 ((((triple4) -> rule8) triple16) -> rule1)) -> rule4))]