The mouse eats the squirrel. The rabbit eats the squirrel. The squirrel chases the rabbit. If something chases the squirrel then it eats the mouse. If something needs the squirrel then it chases the rabbit. If the mouse chases the squirrel and the squirrel chases the mouse then the mouse eats the rabbit. If something eats the squirrel then it is cold. If the mouse needs the rabbit and the mouse needs the squirrel then the rabbit is nice. If the mouse needs the squirrel then the mouse is big.
The rabbit does not eat the squirrel.
@0: The mouse eats the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The squirrel chases the rabbit.[(triple3)] @1: The mouse is cold.[(((triple1) -> rule4))] The rabbit is cold.[(((triple2) -> rule4))]