The bald eagle sees the cow. The bear sees the squirrel. The cow sees the bear. The squirrel is big. If the bear is cold and the bear is rough then the bear likes the squirrel. If something sees the bald eagle and it sees the squirrel then the bald eagle chases the bear. If something sees the bear then it is blue. If the bald eagle likes the squirrel and the squirrel sees the bear then the bear is big. If something is cold and it likes the cow then it chases the bear. If something sees the squirrel then it sees the bear.
The bald eagle does not see the cow.
@0: The bald eagle sees the cow.[(triple1)] The bear sees the squirrel.[(triple2)] The cow sees the bear.[(triple3)] The squirrel is big.[(triple4)] @1: The bear sees the bear.[(((triple2) -> rule6))] The cow is blue.[(((triple3) -> rule3))] @2: The bear is blue.[(((((triple2) -> rule6)) -> rule3))]