The bald eagle chases the bear. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle sees the bear. The bear likes the bald eagle. The bear sees the bald eagle. If someone sees the bear and the bear is blue then the bear is red. If someone sees the bear then they chase the bear. If the bald eagle is green then the bald eagle likes the bear. If someone sees the bald eagle and they like the bear then the bald eagle sees the bear. If someone sees the bear then they like the bald eagle. If the bear likes the bald eagle and the bald eagle likes the bear then the bald eagle chases the bear.
The bald eagle does not like the bear.
@0: The bald eagle chases the bear.[(triple1 OR ((triple5) -> rule2))] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle sees the bear.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear sees the bald eagle.[(triple7)] @1: The bald eagle likes the bald eagle.[(((triple5) -> rule5))]