The bald eagle is green. The bald eagle is round. The bald eagle is young. The bald eagle likes the bear. The bear chases the bald eagle. The bear chases the squirrel. The bear is green. The bear is round. The bear is young. The bear likes the bald eagle. The bear likes the squirrel. The bear visits the bald eagle. The bear visits the squirrel. The squirrel chases the bald eagle. The squirrel is cold. If something chases the bear and it visits the squirrel then the squirrel is young. If something is green and round then it visits the bear. If something visits the bald eagle and the bald eagle visits the bear then the bear likes the bald eagle.
The bald eagle is round.
@0: The bald eagle is green.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the bear.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear chases the squirrel.[(triple6)] The bear is green.[(triple7)] The bear is round.[(triple8)] The bear is young.[(triple9)] The bear likes the bald eagle.[(triple10 OR ((triple12 ((triple1 triple2) -> rule2)) -> rule3))] The bear likes the squirrel.[(triple11)] The bear visits the bald eagle.[(triple12)] The bear visits the squirrel.[(triple13)] The squirrel chases the bald eagle.[(triple14)] The squirrel is cold.[(triple15)] @1: The bald eagle visits the bear.[(((triple1 triple2) -> rule2))] The bear visits the bear.[(((triple7 triple8) -> rule2))]