The cow sees the squirrel. The mouse is not blue. The squirrel likes the cow. If someone is cold and they need the squirrel then the squirrel does not need the cow. If someone needs the mouse then they are round. If the squirrel likes the cow then the squirrel needs the mouse. If the mouse does not like the cow then the mouse is not cold. If the cow likes the mouse then the cow does not like the squirrel. If someone is kind and they like the mouse then the mouse needs the squirrel. If someone is round then they like the mouse. If someone is round then they need the mouse.
The mouse is not blue.
@0: The cow sees the squirrel.[(triple1)] The mouse is not blue.[(triple2)] The squirrel likes the cow.[(triple3)] @1: The squirrel needs the mouse.[(((triple3) -> rule3))] @2: The squirrel is round.[(((((triple3) -> rule3)) -> rule2))] @3: The squirrel likes the mouse.[(((((((triple3) -> rule3)) -> rule2)) -> rule7))]