The mouse sees the tiger. The tiger is blue. The tiger is young. If someone needs the mouse then the mouse needs the tiger. If the mouse sees the tiger and the tiger is young then the mouse needs the tiger. If someone visits the mouse then they are big. If someone visits the mouse then they see the tiger. If someone sees the mouse then they visit the mouse. If someone needs the tiger then the tiger visits the mouse.
The mouse does not need the tiger.
@0: The mouse sees the tiger.[(triple1)] The tiger is blue.[(triple2)] The tiger is young.[(triple3)] @1: The mouse needs the tiger.[(((triple1 triple3) -> rule2))] @2: The tiger visits the mouse.[(((((triple1 triple3) -> rule2)) -> rule6))] @3: The tiger is big.[(((((((triple1 triple3) -> rule2)) -> rule6)) -> rule3))] The tiger sees the tiger.[(((((((triple1 triple3) -> rule2)) -> rule6)) -> rule4))]