The bald eagle eats the tiger. The bald eagle likes the tiger. The bald eagle sees the bear. The bear eats the bald eagle. The bear is blue. The bear is kind. The bear does not like the bald eagle. The bear likes the tiger. The bear sees the bald eagle. The tiger likes the bear. If something is nice then it sees the bear. If something eats the bald eagle and it eats the bear then the bald eagle eats the bear. If something likes the bald eagle then the bald eagle does not eat the bear. If something sees the bear then it is nice. Nice things are green. If something is kind and it eats the bear then the bear sees the tiger. If something is green and it does not eat the tiger then it is not big. If something sees the bald eagle and it sees the bear then the bear eats the bald eagle.
The bear does not like the tiger.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear does not like the bald eagle.[(triple7)] The bear eats the bald eagle.[(triple4)] The bear is blue.[(triple5)] The bear is kind.[(triple6)] The bear likes the tiger.[(triple8)] The bear sees the bald eagle.[(triple9)] The tiger likes the bear.[(triple10)] @1: The bald eagle is nice.[(((triple3) -> rule4))] @2: The bald eagle is green.[(((((triple3) -> rule4)) -> rule5))]