The mouse is kind. The mouse is young. The mouse likes the tiger. The mouse needs the tiger. The mouse visits the tiger. The tiger needs the mouse. The tiger visits the mouse. If someone likes the tiger and they are blue then the tiger needs the mouse. If someone likes the tiger then the tiger visits the mouse. If someone needs the mouse and the mouse likes the tiger then the mouse visits the tiger. If the tiger is kind and the tiger visits the mouse then the mouse visits the tiger. If someone likes the tiger then they need the mouse. If someone needs the tiger and the tiger is round then the tiger likes the mouse.
The tiger is kind.
@0: The mouse is kind.[(triple1)] The mouse is young.[(triple2)] The mouse likes the tiger.[(triple3)] The mouse needs the tiger.[(triple4)] The mouse visits the tiger.[(triple5 OR ((triple6 triple3) -> rule3) OR ((((triple3) -> rule5) triple3) -> rule3))] The tiger needs the mouse.[(triple6)] The tiger visits the mouse.[(triple7 OR ((triple3) -> rule2))] @1: The mouse needs the mouse.[(((triple3) -> rule5))]