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