The dog sees the rabbit. The mouse sees the squirrel. The rabbit eats the squirrel. The squirrel sees the mouse. If someone is cold and they eat the mouse then they do not eat the squirrel. If the mouse eats the squirrel and the squirrel sees the rabbit then the squirrel visits the rabbit. If someone is round and cold then they see the squirrel. If someone sees the rabbit and the rabbit visits the squirrel then they are red. If someone eats the mouse and they eat the dog then they are red. If someone visits the mouse then the mouse sees the rabbit. If someone sees the squirrel then they eat the dog. If someone visits the mouse and they do not see the squirrel then the mouse does not eat the rabbit.
The dog does not see the rabbit.
@0: The dog sees the rabbit.[(triple1)] The mouse sees the squirrel.[(triple2)] The rabbit eats the squirrel.[(triple3)] The squirrel sees the mouse.[(triple4)] @1: The mouse eats the dog.[(((triple2) -> rule7))]