The bald eagle is cold. The bald eagle is nice. The bald eagle likes the tiger. The bald eagle visits the tiger. The tiger is nice. The tiger is red. The tiger is round. The tiger likes the bald eagle. The tiger needs the bald eagle. The tiger visits the bald eagle. If someone visits the bald eagle and the bald eagle needs the tiger then the tiger does not need the bald eagle. If someone needs the bald eagle then they are round.
The bald eagle likes the tiger.
@0: The bald eagle is cold.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle visits the tiger.[(triple4)] The tiger is nice.[(triple5)] The tiger is red.[(triple6)] The tiger is round.[(triple7 OR ((triple9) -> rule2))] The tiger likes the bald eagle.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger visits the bald eagle.[(triple10)]