The bald eagle is big. The bald eagle is not cold. The bald eagle is young. The bald eagle does not see the rabbit. The bald eagle visits the bear. The bald eagle visits the rabbit. The bear is big. The bear is blue. The bear is red. The bear is young. The bear visits the rabbit. The rabbit eats the bald eagle. The rabbit is red. The rabbit is not young. The rabbit sees the bear. The rabbit visits the bear. If the bear visits the bald eagle and the bear sees the bald eagle then the bear sees the rabbit. If someone is cold and they do not see the bald eagle then they are big. If someone eats the bald eagle then they are not big. If someone eats the rabbit then they visit the bald eagle. If someone eats the bear and they eat the bald eagle then the bear is big. If someone is big and not young then they see the bear.
The bald eagle does not visit the bald eagle.
@0: The bald eagle does not see the rabbit.[(triple4)] The bald eagle is big.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the bear.[(triple5)] The bald eagle visits the rabbit.[(triple6)] The bear is big.[(triple7)] The bear is blue.[(triple8)] The bear is red.[(triple9)] The bear is young.[(triple10)] The bear visits the rabbit.[(triple11)] The rabbit eats the bald eagle.[(triple12)] The rabbit is not young.[(triple14)] The rabbit is red.[(triple13)] The rabbit sees the bear.[(triple15)] The rabbit visits the bear.[(triple16)] @1: The rabbit is not big.[(((triple12) -> rule3))]