The mouse is round. The mouse likes the tiger. The mouse needs the tiger. The mouse sees the tiger. The tiger is not kind. The tiger likes the mouse. The tiger needs the mouse. If something likes the mouse and it does not see the mouse then the mouse does not need the tiger. If something is round then it is not red.
The mouse does not see the tiger.
@0: The mouse is round.[(triple1)] The mouse likes the tiger.[(triple2)] The mouse needs the tiger.[(triple3)] The mouse sees the tiger.[(triple4)] The tiger is not kind.[(triple5)] The tiger likes the mouse.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The mouse is not red.[(((triple1) -> rule2))]