The mouse is big. The mouse is nice. The mouse likes the squirrel. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel is big. The squirrel is green. The squirrel is young. The squirrel likes the mouse. The squirrel sees the mouse. If someone is kind and they see the mouse then the mouse needs the squirrel. If the mouse likes the squirrel and the squirrel is not green then the squirrel does not like the mouse. If someone is kind and big then they see the mouse. If someone likes the squirrel then the squirrel sees the mouse. If someone is kind then they like the mouse. If someone needs the squirrel and they do not need the mouse then the mouse does not see the squirrel.
The mouse is nice.
@0: The mouse is big.[(triple1)] The mouse is nice.[(triple2)] The mouse likes the squirrel.[(triple3)] The mouse needs the squirrel.[(triple4)] The mouse sees the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel is green.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel sees the mouse.[(triple10 OR ((triple3) -> rule4))]