The bald eagle chases the bear. The bald eagle does not eat the squirrel. The bald eagle is not green. The bald eagle is young. The bear chases the bald eagle. The bear eats the squirrel. The bear is green. The bear is round. The bear is young. The bear visits the squirrel. The squirrel chases the bear. The squirrel is green. If something is young then it chases the bear. If the squirrel visits the bear and the bear is cold then the squirrel is cold. If something is young and not cold then it does not eat the squirrel.
The bear is not young.
@0: The bald eagle chases the bear.[(triple1 OR ((triple4) -> rule1))] The bald eagle does not eat the squirrel.[(triple2)] The bald eagle is not green.[(triple3)] The bald eagle is young.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear eats the squirrel.[(triple6)] The bear is green.[(triple7)] The bear is round.[(triple8)] The bear is young.[(triple9)] The bear visits the squirrel.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel is green.[(triple12)] @1: The bear chases the bear.[(((triple9) -> rule1))]