The bald eagle is rough. The bald eagle visits the tiger. The tiger chases the bald eagle. The tiger is nice. The tiger is red. The tiger is young. The tiger visits the bald eagle. If something is young then it visits the tiger. If something sees the bald eagle and it chases the bald eagle then it is rough. If something sees the tiger then the tiger is nice.
The tiger is not rough.
@0: The bald eagle is rough.[(triple1)] The bald eagle visits the tiger.[(triple2)] The tiger chases the bald eagle.[(triple3)] The tiger is nice.[(triple4)] The tiger is red.[(triple5)] The tiger is young.[(triple6)] The tiger visits the bald eagle.[(triple7)] @1: The tiger visits the tiger.[(((triple6) -> rule1))]