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