The mouse is not big. The mouse is green. The mouse is not kind. The mouse is rough. The mouse is not young. The mouse needs the tiger. The mouse sees the tiger. The mouse visits the tiger. The tiger is big. The tiger does not see the mouse. If someone visits the mouse and they are big then they need the mouse. If someone visits the tiger then the tiger is rough. If someone is big and they do not visit the tiger then the tiger is kind. If someone needs the tiger then the tiger needs the mouse. If someone visits the tiger then they do not see the mouse. If someone sees the tiger and they are not rough then the tiger does not see the mouse.
The mouse does not need the mouse.
@0: The mouse is green.[(triple2)] The mouse is not big.[(triple1)] The mouse is not kind.[(triple3)] The mouse is not young.[(triple5)] The mouse is rough.[(triple4)] The mouse needs the tiger.[(triple6)] The mouse sees the tiger.[(triple7)] The mouse visits the tiger.[(triple8)] The tiger does not see the mouse.[(triple10)] The tiger is big.[(triple9)] @1: The mouse does not see the mouse.[(((triple8) -> rule5))] The tiger is rough.[(((triple8) -> rule2))] The tiger needs the mouse.[(((triple6) -> rule4))]