The bald eagle chases the bear. The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle likes the tiger. The bear eats the tiger. The bear is young. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is green. The tiger is kind. The tiger likes the bear. If the bear is blue then the bear likes the bald eagle. If something chases the tiger then it eats the tiger. All young things are blue. If something eats the bald eagle then the bald eagle likes the bear. If something is kind and it likes the bald eagle then it chases the bear. If the bear is cold then the bear eats the bald eagle.
The bald eagle does not like the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the tiger.[(triple3 OR ((triple2) -> rule2))] The bald eagle is blue.[(triple4)] The bald eagle is cold.[(triple5)] The bald eagle is green.[(triple6)] The bald eagle is kind.[(triple7)] The bald eagle likes the tiger.[(triple8)] The bear eats the tiger.[(triple9)] The bear is young.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger is green.[(triple13)] The tiger is kind.[(triple14)] The tiger likes the bear.[(triple15)] @1: The bald eagle likes the bear.[(((triple12) -> rule4))] The bear is blue.[(((triple10) -> rule3))] @2: The bear likes the bald eagle.[(((((triple10) -> rule3)) -> rule1))]