The bald eagle eats the cow. The cow sees the squirrel. The squirrel is not blue. If someone eats the cow then the cow is not big. If someone is kind then they eat the cow. If someone eats the bald eagle then they see the cow. If someone eats the bald eagle then they are kind. If someone eats the squirrel then the squirrel sees the cow. If someone is nice then they eat the bald eagle. If someone eats the cow then they eat the squirrel. If someone eats the squirrel then the squirrel likes the cow.
The cow is red.
@0: The bald eagle eats the cow.[(triple1)] The cow sees the squirrel.[(triple2)] The squirrel is not blue.[(triple3)] @1: The bald eagle eats the squirrel.[(((triple1) -> rule7))] The cow is not big.[(((triple1) -> rule1))] @2: The squirrel likes the cow.[(((((triple1) -> rule7)) -> rule8))] The squirrel sees the cow.[(((((triple1) -> rule7)) -> rule5))]