The bald eagle is blue. The bear does not chase the tiger. The bear eats the bald eagle. The bear sees the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger does not eat the bear. The tiger is rough. The tiger sees the bald eagle. The tiger sees the bear. If the tiger sees the bear then the bear sees the bald eagle. If something chases the tiger and it chases the bald eagle then the tiger does not see the bald eagle. If the bear sees the bald eagle then the bear is not cold.
The bald eagle does not eat the bear.
@0: The bald eagle is blue.[(triple1)] The bear does not chase the tiger.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear sees the tiger.[(triple4)] The tiger chases the bald eagle.[(triple5)] The tiger does not eat the bear.[(triple7)] The tiger eats the bald eagle.[(triple6)] The tiger is rough.[(triple8)] The tiger sees the bald eagle.[(triple9)] The tiger sees the bear.[(triple10)] @1: The bear sees the bald eagle.[(((triple10) -> rule1))] @2: The bear is not cold.[(((((triple10) -> rule1)) -> rule3))]