The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the tiger. The bald eagle needs the tiger. The tiger chases the bald eagle. The tiger is blue. The tiger is cold. The tiger is green. The tiger is nice. The tiger is rough. The tiger likes the bald eagle. The tiger needs the bald eagle. If someone is green and blue then they chase the tiger.
The bald eagle does not chase the bald eagle.
@0: The bald eagle chases the tiger.[(triple1 OR ((triple4 triple2) -> rule1))] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle likes the tiger.[(triple7)] The bald eagle needs the tiger.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is nice.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger needs the bald eagle.[(triple16)] @1: The tiger chases the tiger.[(((triple12 triple10) -> rule1))]