The bald eagle eats the tiger. The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle likes the squirrel. The squirrel eats the bald eagle. The squirrel eats the tiger. The squirrel is big. The squirrel likes the tiger. The squirrel sees the bald eagle. The tiger is big. The tiger is blue. The tiger is kind. The tiger likes the bald eagle. The tiger likes the squirrel. The tiger sees the bald eagle. If someone eats the bald eagle then the bald eagle likes the squirrel. If someone is kind then they are red.
The bald eagle is nice.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle likes the squirrel.[(triple5 OR ((triple6) -> rule1))] The squirrel eats the bald eagle.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is big.[(triple8)] The squirrel likes the tiger.[(triple9)] The squirrel sees the bald eagle.[(triple10)] The tiger is big.[(triple11)] The tiger is blue.[(triple12)] The tiger is kind.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger sees the bald eagle.[(triple16)] @1: The tiger is red.[(((triple13) -> rule2))]