The mouse is not red. The mouse does not need the tiger. The mouse sees the tiger. The tiger does not chase the mouse. The tiger is big. The tiger is blue. The tiger is not red. The tiger is rough. The tiger needs the mouse. The tiger sees the mouse. If something is rough and blue then it is not round.
The mouse does not see the tiger.
@0: The mouse does not need the tiger.[(triple2)] The mouse is not red.[(triple1)] The mouse sees the tiger.[(triple3)] The tiger does not chase the mouse.[(triple4)] The tiger is big.[(triple5)] The tiger is blue.[(triple6)] The tiger is not red.[(triple7)] The tiger is rough.[(triple8)] The tiger needs the mouse.[(triple9)] The tiger sees the mouse.[(triple10)] @1: The tiger is not round.[(((triple8 triple6) -> rule1))]