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