The mouse eats the squirrel. The mouse is big. The mouse is blue. The mouse is green. The mouse is nice. The mouse is round. The mouse sees the squirrel. The mouse does not visit the squirrel. The squirrel does not eat the mouse. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is not round. The squirrel does not see the mouse. The squirrel visits the mouse. If someone eats the mouse and they see the squirrel then the mouse eats the squirrel. If the squirrel sees the mouse then the mouse is nice. If someone is blue and they do not visit the mouse then they see the mouse. If the mouse is green then the mouse sees the squirrel. If someone eats the squirrel then they see the squirrel. If someone is round and they do not see the mouse then they are not big.
The squirrel is green.
@0: The mouse does not visit the squirrel.[(triple8)] The mouse eats the squirrel.[(triple1)] The mouse is big.[(triple2)] The mouse is blue.[(triple3)] The mouse is green.[(triple4)] The mouse is nice.[(triple5)] The mouse is round.[(triple6)] The mouse sees the squirrel.[(triple7 OR ((triple1) -> rule5) OR ((triple4) -> rule4))] The squirrel does not eat the mouse.[(triple9)] The squirrel does not see the mouse.[(triple15)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is green.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is not round.[(triple14)] The squirrel visits the mouse.[(triple16)]