The bald eagle is cold. The bald eagle is red. The bald eagle likes the tiger. The bald eagle sees the lion. The bald eagle does not see the tiger. The lion eats the tiger. The lion likes the bald eagle. The lion sees the bald eagle. The tiger is not cold. The tiger is round. The tiger sees the bald eagle. The tiger sees the lion. If someone eats the lion and the lion eats the bald eagle then the lion does not like the tiger. If someone is round then they eat the bald eagle.
The lion does not eat the bald eagle.
@0: The bald eagle does not see the tiger.[(triple5)] The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the lion.[(triple4)] The lion eats the tiger.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion sees the bald eagle.[(triple8)] The tiger is not cold.[(triple9)] The tiger is round.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger sees the lion.[(triple12)] @1: The tiger eats the bald eagle.[(((triple10) -> rule2))]