The bald eagle does not chase the tiger. The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is rough. The bald eagle needs the tiger. The bald eagle sees the tiger. The tiger chases the bald eagle. The tiger is big. The tiger is blue. The tiger is young. The tiger sees the bald eagle. If something sees the bald eagle then the bald eagle sees the tiger.
The tiger chases the tiger.
@0: The bald eagle does not chase the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle needs the tiger.[(triple6)] The bald eagle sees the tiger.[(triple7 OR ((triple12) -> rule1))] The tiger chases the bald eagle.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is young.[(triple11)] The tiger sees the bald eagle.[(triple12)]