The mouse is green. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit does not eat the squirrel. The rabbit is green. The rabbit visits the squirrel. The squirrel eats the mouse. The squirrel is cold. The squirrel is not red. The squirrel is young. The squirrel visits the mouse. The squirrel visits the rabbit. If something eats the squirrel then it does not visit the rabbit. If something eats the mouse and the mouse eats the squirrel then the mouse is young. If the mouse chases the squirrel and the mouse visits the rabbit then the mouse is not young. If something visits the mouse then it chases the rabbit. If something chases the mouse then it chases the squirrel. If something eats the rabbit then it is not rough. If something chases the rabbit and it is cold then it eats the rabbit. If the mouse does not visit the rabbit then the rabbit chases the squirrel.
The squirrel is red.
@0: The mouse is green.[(triple1)] The rabbit chases the mouse.[(triple2)] The rabbit does not eat the squirrel.[(triple4)] The rabbit eats the mouse.[(triple3)] The rabbit is green.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel eats the mouse.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is not red.[(triple9)] The squirrel is young.[(triple10)] The squirrel visits the mouse.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The rabbit chases the squirrel.[(((triple2) -> rule5))] The squirrel chases the rabbit.[(((triple11) -> rule4))] @2: The squirrel eats the rabbit.[(((((triple11) -> rule4) triple8) -> rule7))] @3: The squirrel is not rough.[(((((((triple11) -> rule4) triple8) -> rule7)) -> rule6))]