The bald eagle is green. The bald eagle sees the lion. The bear sees the bald eagle. The bear sees the mouse. The lion eats the bald eagle. The lion is blue. The lion is red. The lion does not like the bald eagle. The lion sees the bear. The lion sees the mouse. The mouse eats the bald eagle. The mouse does not like the lion. The mouse sees the bald eagle. The mouse sees the bear. The mouse sees the lion. If someone likes the lion then they see the mouse. If someone is big then they see the mouse. If someone sees the lion and they are red then the lion sees the mouse. If someone sees the lion and the lion is red then they eat the bald eagle. If someone eats the mouse then the mouse does not eat the bald eagle. If someone likes the mouse and the mouse eats the bald eagle then they see the bear. If someone sees the bald eagle and they like the mouse then they eat the bear. If someone likes the bear then the bear does not like the lion.
The bald eagle is big.
@0: The bald eagle is green.[(triple1)] The bald eagle sees the lion.[(triple2)] The bear sees the bald eagle.[(triple3)] The bear sees the mouse.[(triple4)] The lion does not like the bald eagle.[(triple8)] The lion eats the bald eagle.[(triple5)] The lion is blue.[(triple6)] The lion is red.[(triple7)] The lion sees the bear.[(triple9)] The lion sees the mouse.[(triple10)] The mouse does not like the lion.[(triple12)] The mouse eats the bald eagle.[(triple11 OR ((triple15 triple7) -> rule4))] The mouse sees the bald eagle.[(triple13)] The mouse sees the bear.[(triple14)] The mouse sees the lion.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple2 triple7) -> rule4))]