The bald eagle is cold. The bald eagle is rough. The bald eagle likes the bear. The bald eagle likes the tiger. The bald eagle visits the bear. The bald eagle visits the tiger. The bear eats the bald eagle. The bear is big. The bear is cold. The bear is not young. The bear likes the bald eagle. The bear likes the tiger. The bear visits the bald eagle. The bear visits the tiger. The tiger eats the bear. If someone eats the tiger then the tiger does not visit the bald eagle. If the bear visits the bald eagle and the bear is cold then the bald eagle is big. If someone likes the bear and they are big then they eat the tiger. If the tiger visits the bald eagle and the bear does not visit the tiger then the bald eagle is cold. If someone visits the bald eagle and they are rough then the bald eagle is not cold. If the bald eagle eats the tiger and the tiger is young then the bald eagle visits the tiger.
The bear does not eat the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle visits the bear.[(triple5)] The bald eagle visits the tiger.[(triple6)] The bear eats the bald eagle.[(triple7)] The bear is big.[(triple8)] The bear is cold.[(triple9)] The bear is not young.[(triple10)] The bear likes the bald eagle.[(triple11)] The bear likes the tiger.[(triple12)] The bear visits the bald eagle.[(triple13)] The bear visits the tiger.[(triple14)] The tiger eats the bear.[(triple15)] @1: The bald eagle is big.[(((triple13 triple9) -> rule2))] @2: The bald eagle eats the tiger.[(((triple3 ((triple13 triple9) -> rule2)) -> rule3))] @3: The tiger does not visit the bald eagle.[(((((triple3 ((triple13 triple9) -> rule2)) -> rule3)) -> rule1))]