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