The bald eagle does not chase the bear. The bald eagle is big. The bald eagle is green. The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle likes the bear. The bald eagle visits the bear. The bear does not chase the bald eagle. The bear is big. The bear is green. The bear is red. The bear is round. The bear is not young. The bear likes the bald eagle. The bear visits the bald eagle. If someone is young and they chase the bald eagle then they do not visit the bear. If someone likes the bear and the bear visits the bald eagle then the bald eagle visits the bear. If someone chases the bald eagle then they are young.
The bear likes the bear.
@0: The bald eagle does not chase the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle likes the bear.[(triple7)] The bald eagle visits the bear.[(triple8 OR ((triple7 triple16) -> rule2))] The bear does not chase the bald eagle.[(triple9)] The bear is big.[(triple10)] The bear is green.[(triple11)] The bear is not young.[(triple14)] The bear is red.[(triple12)] The bear is round.[(triple13)] The bear likes the bald eagle.[(triple15)] The bear visits the bald eagle.[(triple16)]