The bald eagle is rough. The bald eagle likes the tiger. The bald eagle sees the tiger. The bald eagle visits the tiger. The tiger is not green. The tiger likes the bald eagle. The tiger sees the bald eagle. If the tiger does not visit the bald eagle then the tiger is nice. If something likes the bald eagle and the bald eagle likes the tiger then the bald eagle visits the tiger.
The bald eagle is not rough.
@0: The bald eagle is rough.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the tiger.[(triple4 OR ((triple6 triple2) -> rule2))] The tiger is not green.[(triple5)] The tiger likes the bald eagle.[(triple6)] The tiger sees the bald eagle.[(triple7)]