The bald eagle eats the bear. The bald eagle eats the tiger. The bald eagle is not big. The bald eagle is rough. The bald eagle likes the bear. The bald eagle sees the tiger. The bear eats the bald eagle. The bear is big. The bear is cold. The bear likes the bald eagle. The bear likes the tiger. The bear sees the tiger. The tiger is big. The tiger is rough. The tiger does not see the bald eagle. The tiger sees the bear. If the bear does not like the tiger then the bear is big. If someone sees the tiger and the tiger eats the bear then they like the bear. If someone likes the tiger then they are round. If someone likes the tiger and they are not rough then the tiger is not round. If someone is round then they see the bald eagle. If someone eats the bear and they do not like the bear then they like the bald eagle. If someone likes the bald eagle and they are not young then the bald eagle likes the tiger. If someone sees the bald eagle then the bald eagle is not round.
The tiger likes the bear.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is not big.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the bear.[(triple5)] The bald eagle sees the tiger.[(triple6)] The bear eats the bald eagle.[(triple7)] The bear is big.[(triple8)] The bear is cold.[(triple9)] The bear likes the bald eagle.[(triple10)] The bear likes the tiger.[(triple11)] The bear sees the tiger.[(triple12)] The tiger does not see the bald eagle.[(triple15)] The tiger is big.[(triple13)] The tiger is rough.[(triple14)] The tiger sees the bear.[(triple16)] @1: The bear is round.[(((triple11) -> rule3))] @2: The bear sees the bald eagle.[(((((triple11) -> rule3)) -> rule5))] @3: The bald eagle is not round.[(((((((triple11) -> rule3)) -> rule5)) -> rule8))]