The bald eagle does not chase the tiger. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is green. The bald eagle does not visit the tiger. The lion chases the tiger. The lion is not green. The lion does not visit the bald eagle. The tiger chases the bald eagle. The tiger chases the lion. The tiger is big. The tiger is green. The tiger is rough. The tiger does not visit the bald eagle. The tiger visits the lion. If someone chases the bald eagle and they are not big then they visit the bald eagle. If someone chases the tiger and the tiger is green then they chase the lion.
The bald eagle visits the bald eagle.
@0: The bald eagle does not chase the tiger.[(triple1)] The bald eagle does not visit the tiger.[(triple5)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The lion chases the tiger.[(triple6)] The lion does not visit the bald eagle.[(triple8)] The lion is not green.[(triple7)] The tiger chases the bald eagle.[(triple9)] The tiger chases the lion.[(triple10)] The tiger does not visit the bald eagle.[(triple14)] The tiger is big.[(triple11)] The tiger is green.[(triple12)] The tiger is rough.[(triple13)] The tiger visits the lion.[(triple15)] @1: The lion chases the lion.[(((triple6 triple12) -> rule2))]