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