The mouse is nice. The mouse does not need the squirrel. The mouse sees the rabbit. The rabbit does not eat the mouse. The rabbit is big. The rabbit is green. The rabbit needs the squirrel. The rabbit sees the mouse. The rabbit sees the squirrel. The squirrel eats the mouse. The squirrel eats the rabbit. The squirrel is big. The squirrel is nice. The squirrel does not need the mouse. The squirrel needs the rabbit. The squirrel sees the rabbit. If something eats the mouse then it does not need the mouse. If something needs the mouse and it needs the squirrel then it does not eat the squirrel. If something sees the rabbit and it needs the squirrel then the squirrel does not see the mouse. If the squirrel sees the mouse and the squirrel is green then the mouse sees the rabbit. If something needs the mouse and it does not see the mouse then the mouse sees the squirrel. If the rabbit sees the mouse and the mouse does not see the rabbit then the mouse is not nice. If something is cold and it does not need the mouse then the mouse does not need the rabbit. If something eats the mouse and the mouse is not nice then the mouse is green.
The mouse eats the rabbit.
@0: The mouse does not need the squirrel.[(triple2)] The mouse is nice.[(triple1)] The mouse sees the rabbit.[(triple3)] The rabbit does not eat the mouse.[(triple4)] The rabbit is big.[(triple5)] The rabbit is green.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit sees the mouse.[(triple8)] The rabbit sees the squirrel.[(triple9)] The squirrel does not need the mouse.[(triple14 OR ((triple10) -> rule1))] The squirrel eats the mouse.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel is big.[(triple12)] The squirrel is nice.[(triple13)] The squirrel needs the rabbit.[(triple15)] The squirrel sees the rabbit.[(triple16)]