The bald eagle chases the bear. The bald eagle is blue. The bald eagle likes the bear. The bald eagle likes the tiger. The bear chases the tiger. The bear eats the tiger. The bear is blue. The bear is nice. The bear likes the bald eagle. The bear likes the tiger. The tiger chases the bald eagle. The tiger does not eat the bald eagle. The tiger is red. The tiger is young. The tiger does not like the bald eagle. The tiger does not like the bear. If someone likes the tiger and they are not blue then they like the bald eagle. If the tiger is blue and the tiger is young then the tiger does not like the bear. If someone likes the tiger then the tiger eats the bear. If the bear likes the bald eagle and the bear eats the tiger then the bear chases the bald eagle. If someone eats the bald eagle and the bald eagle chases the tiger then the tiger eats the bald eagle. If someone chases the tiger and the tiger does not like the bald eagle then the tiger is rough.
The bald eagle is not blue.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bear chases the tiger.[(triple5)] The bear eats the tiger.[(triple6)] The bear is blue.[(triple7)] The bear is nice.[(triple8)] The bear likes the bald eagle.[(triple9)] The bear likes the tiger.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger does not eat the bald eagle.[(triple12)] The tiger does not like the bald eagle.[(triple15)] The tiger does not like the bear.[(triple16)] The tiger is red.[(triple13)] The tiger is young.[(triple14)] @1: The bear chases the bald eagle.[(((triple9 triple6) -> rule4))] The tiger eats the bear.[(((triple10) -> rule3) OR ((triple4) -> rule3))] The tiger is rough.[(((triple5 triple15) -> rule6))]