The mouse needs the tiger. The tiger likes the mouse. The tiger sees the mouse. If someone needs the tiger then the tiger sees the mouse. If someone is cold then they need the mouse. If someone sees the tiger and the tiger sees the mouse then the mouse needs the tiger. If someone likes the tiger and the tiger sees the mouse then they need the mouse. If someone needs the mouse and they see the mouse then the mouse likes the tiger. If someone needs the tiger and the tiger sees the mouse then the tiger likes the mouse.
The tiger does not see the mouse.
@0: The mouse needs the tiger.[(triple1)] The tiger likes the mouse.[(triple2 OR ((triple1 triple3) -> rule6) OR ((triple1 ((triple1) -> rule1)) -> rule6))] The tiger sees the mouse.[(triple3 OR ((triple1) -> rule1))]