The cat chases the rabbit. The mouse chases the rabbit. The rabbit visits the cat. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel eats the rabbit. The squirrel is cold. If the mouse visits the rabbit and the rabbit does not visit the squirrel then the mouse is not green. If the mouse chases the cat and the mouse does not eat the squirrel then the squirrel does not visit the cat. If the squirrel is blue then the squirrel eats the cat. If something chases the rabbit then the rabbit does not eat the cat. If something visits the rabbit then it is blue. If something visits the mouse then the mouse is round.
The rabbit is not blue.
@0: The cat chases the rabbit.[(triple1)] The mouse chases the rabbit.[(triple2)] The rabbit visits the cat.[(triple3)] The squirrel chases the mouse.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel eats the rabbit.[(triple6)] The squirrel is cold.[(triple7)] @1: The rabbit does not eat the cat.[(((triple1) -> rule4) OR ((triple2) -> rule4))]