The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle does not see the bear. The bald eagle does not see the tiger. The bear eats the bald eagle. The bear is big. The bear is kind. The bear is nice. The bear sees the bald eagle. The tiger eats the bald eagle. The tiger eats the bear. The tiger is kind. The tiger likes the bald eagle. The tiger sees the bald eagle. The tiger sees the bear. If something is big and it does not see the bald eagle then it does not like the bear. If something likes the bear then it eats the bear. If something eats the tiger then it sees the tiger. If something sees the bear then the bear is big. If something sees the tiger and it eats the bear then it eats the tiger. If something eats the bald eagle then the bald eagle likes the bear. If the tiger eats the bald eagle then the bald eagle eats the bear. If something likes the bald eagle and the bald eagle is kind then it is big.
The bald eagle eats the bald eagle.
@0: The bald eagle does not see the bear.[(triple4)] The bald eagle does not see the tiger.[(triple5)] The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The bear eats the bald eagle.[(triple6)] The bear is big.[(triple7 OR ((triple16) -> rule4))] The bear is kind.[(triple8)] The bear is nice.[(triple9)] The bear sees the bald eagle.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger eats the bear.[(triple12)] The tiger is kind.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger sees the bald eagle.[(triple15)] The tiger sees the bear.[(triple16)] @1: The bald eagle eats the bear.[(((triple11) -> rule7) OR ((((triple11) -> rule6)) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] The bald eagle likes the bear.[(((triple11) -> rule6) OR ((triple6) -> rule6))] The tiger is big.[(((triple14 triple1) -> rule8))]