The bald eagle does not like the cow. The cow likes the squirrel. The mouse is big. The squirrel likes the bald eagle. If something chases the cow and it is big then it chases the squirrel. If something likes the bald eagle then it chases the bald eagle. If something visits the cow then it is blue. If something is blue then it chases the cow. If something visits the mouse then it is green. If something likes the mouse and it chases the cow then the mouse is kind. If something chases the mouse and it is not blue then it does not like the mouse. If something likes the mouse and it is not kind then it likes the cow.
The mouse is big.
@0: The bald eagle does not like the cow.[(triple1)] The cow likes the squirrel.[(triple2)] The mouse is big.[(triple3)] The squirrel likes the bald eagle.[(triple4)] @1: The squirrel chases the bald eagle.[(((triple4) -> rule2))]