The mouse eats the rabbit. The mouse is big. The mouse is blue. The mouse visits the rabbit. The mouse visits the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit is blue. The rabbit likes the mouse. The squirrel eats the mouse. The squirrel eats the rabbit. The squirrel is red. The squirrel likes the mouse. The squirrel likes the rabbit. The squirrel visits the mouse. The squirrel visits the rabbit. If something eats the mouse then the mouse eats the rabbit. If something eats the rabbit and the rabbit is big then it is blue. If the rabbit is cold and the rabbit is red then the rabbit eats the mouse. If something likes the rabbit and it visits the mouse then it eats the rabbit. If something visits the rabbit and it is cold then it is red. If the rabbit is blue and the rabbit likes the squirrel then the squirrel eats the rabbit. If the rabbit eats the squirrel then the rabbit likes the mouse. If something eats the rabbit then it likes the rabbit.
The rabbit is not red.
@0: The mouse eats the rabbit.[(triple1 OR ((triple10) -> rule1))] The mouse is big.[(triple2)] The mouse is blue.[(triple3 OR ((triple1 triple7) -> rule2) OR ((((triple10) -> rule1) triple7) -> rule2))] The mouse visits the rabbit.[(triple4)] The mouse visits the squirrel.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit is big.[(triple7)] The rabbit is blue.[(triple8)] The rabbit likes the mouse.[(triple9 OR ((triple6) -> rule7))] The squirrel eats the mouse.[(triple10)] The squirrel eats the rabbit.[(triple11 OR ((triple14 triple15) -> rule4))] The squirrel is red.[(triple12)] The squirrel likes the mouse.[(triple13)] The squirrel likes the rabbit.[(triple14 OR ((triple11) -> rule8))] The squirrel visits the mouse.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The mouse likes the rabbit.[(((triple1) -> rule8) OR ((((triple10) -> rule1)) -> rule8))] The squirrel is blue.[(((triple11 triple7) -> rule2) OR ((((triple14 triple15) -> rule4) triple7) -> rule2))]