The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle does not need the tiger. The tiger chases the bald eagle. The tiger is blue. The tiger needs the bald eagle. If someone chases the tiger then the tiger chases the bald eagle.
The tiger is blue.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not need the tiger.[(triple4)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The tiger chases the bald eagle.[(triple5 OR ((triple1) -> rule1))] The tiger is blue.[(triple6)] The tiger needs the bald eagle.[(triple7)]