The dog chases the mouse. The mouse is young. The rabbit eats the dog. The squirrel needs the rabbit. If someone needs the rabbit then they are not round. If someone needs the mouse then the mouse is red. If someone is young and they do not eat the mouse then they are blue. If someone is cold and they chase the squirrel then they are red. If someone is cold then they eat the squirrel. If someone is blue then they eat the squirrel. If someone is blue and they chase the mouse then the mouse needs the rabbit. If someone eats the squirrel and the squirrel needs the mouse then they need the dog.
The dog does not eat the squirrel.
@0: The dog chases the mouse.[(triple1)] The mouse is young.[(triple2)] The rabbit eats the dog.[(triple3)] The squirrel needs the rabbit.[(triple4)] @1: The squirrel is not round.[(((triple4) -> rule1))]