The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is blue. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle visits the bear. The bear chases the bald eagle. The bear eats the bald eagle. The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear is round. The bear visits the bald eagle. If the bear visits the bald eagle and the bear is nice then the bald eagle is blue. If something is kind then it chases the bald eagle.
The bald eagle visits the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is blue.[(triple3 OR ((triple16 triple13) -> rule1))] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle is round.[(triple7)] The bald eagle visits the bear.[(triple8)] The bear chases the bald eagle.[(triple9 OR ((triple12) -> rule2))] The bear eats the bald eagle.[(triple10)] The bear is blue.[(triple11)] The bear is kind.[(triple12)] The bear is nice.[(triple13)] The bear is red.[(triple14)] The bear is round.[(triple15)] The bear visits the bald eagle.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule2))]