The bald eagle eats the lion. The bald eagle eats the tiger. The bald eagle is not cold. The bald eagle is green. The bald eagle is young. The bald eagle likes the lion. The bald eagle does not like the tiger. The bald eagle visits the tiger. The lion likes the tiger. The lion visits the tiger. The tiger eats the lion. The tiger is young. The tiger likes the lion. The tiger does not visit the bald eagle. The tiger visits the lion. If someone eats the tiger and the tiger is young then they do not visit the bald eagle.
The tiger does not eat the tiger.
@0: The bald eagle does not like the tiger.[(triple7)] The bald eagle eats the lion.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is green.[(triple4)] The bald eagle is not cold.[(triple3)] The bald eagle is young.[(triple5)] The bald eagle likes the lion.[(triple6)] The bald eagle visits the tiger.[(triple8)] The lion likes the tiger.[(triple9)] The lion visits the tiger.[(triple10)] The tiger does not visit the bald eagle.[(triple14)] The tiger eats the lion.[(triple11)] The tiger is young.[(triple12)] The tiger likes the lion.[(triple13)] The tiger visits the lion.[(triple15)] @1: The bald eagle does not visit the bald eagle.[(((triple2 triple12) -> rule1))]