The bald eagle eats the bear. The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle is red. The bald eagle likes the bear. The bear is red. The bear likes the squirrel. The bear sees the tiger. The squirrel likes the tiger. The squirrel sees the bald eagle. The tiger eats the squirrel. The tiger is cold. The tiger is rough. The tiger is young. The tiger likes the bald eagle. The tiger sees the bear. If someone sees the bald eagle then the bald eagle sees the bear. If someone eats the squirrel and they see the bear then they like the bald eagle. If someone eats the bald eagle and the bald eagle sees the bear then the bald eagle likes the tiger.
The bear is not red.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the bear.[(triple5)] The bear is red.[(triple6)] The bear likes the squirrel.[(triple7)] The bear sees the tiger.[(triple8)] The squirrel likes the tiger.[(triple9)] The squirrel sees the bald eagle.[(triple10)] The tiger eats the squirrel.[(triple11)] The tiger is cold.[(triple12)] The tiger is rough.[(triple13)] The tiger is young.[(triple14)] The tiger likes the bald eagle.[(triple15 OR ((triple11 triple16) -> rule2))] The tiger sees the bear.[(triple16)] @1: The bald eagle sees the bear.[(((triple10) -> rule1))] @2: The bald eagle likes the bald eagle.[(((triple2 ((triple10) -> rule1)) -> rule2))]