The bald eagle sees the squirrel. The cow is young. The cow likes the tiger. The squirrel eats the cow. The squirrel is red. The squirrel does not see the tiger. The tiger is not blue. If something is cold and it does not like the squirrel then it eats the tiger. If something likes the squirrel then it eats the cow. If something is blue then it does not like the tiger. If something sees the squirrel and the squirrel eats the cow then the squirrel is cold. If something likes the squirrel and the squirrel likes the cow then the squirrel is big. If the bald eagle does not eat the cow then the cow does not see the tiger. If something eats the squirrel then it sees the bald eagle. If something is cold and it does not see the tiger then it eats the squirrel.
The cow eats the cow.
@0: The bald eagle sees the squirrel.[(triple1)] The cow is young.[(triple2)] The cow likes the tiger.[(triple3)] The squirrel does not see the tiger.[(triple6)] The squirrel eats the cow.[(triple4)] The squirrel is red.[(triple5)] The tiger is not blue.[(triple7)] @1: The squirrel is cold.[(((triple1 triple4) -> rule4))] @2: The squirrel eats the squirrel.[(((((triple1 triple4) -> rule4) triple6) -> rule8))] @3: The squirrel sees the bald eagle.[(((((((triple1 triple4) -> rule4) triple6) -> rule8)) -> rule7))]