The bald eagle chases the bear. The bald eagle likes the bear. The bald eagle visits the bear. The bear does not chase the bald eagle. The bear is green. The bear is red. The bear visits the bald eagle. All nice people are red. If someone chases the bald eagle then they like the bear. If someone visits the bald eagle and they like the bear then they like the bald eagle. If someone likes the bald eagle and the bald eagle visits the bear then the bear does not chase the bald eagle. If someone likes the bear then the bear likes the bald eagle. If the bald eagle does not like the bear and the bald eagle does not visit the bear then the bald eagle chases the bear.
The bald eagle is rough.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear does not chase the bald eagle.[(triple4 OR ((((triple2) -> rule5) triple3) -> rule4))] The bear is green.[(triple5)] The bear is red.[(triple6)] The bear visits the bald eagle.[(triple7)] @1: The bear likes the bald eagle.[(((triple2) -> rule5))]