The mouse is kind. The mouse sees the tiger. The tiger needs the mouse. If someone likes the mouse then the mouse likes the tiger. If someone is kind and they see the tiger then the tiger likes the mouse. If someone likes the mouse then the mouse is young. If someone sees the tiger then the tiger is cold. If someone likes the tiger then the tiger needs the mouse. If someone likes the tiger and the tiger needs the mouse then they see the mouse.
The mouse is not young.
@0: The mouse is kind.[(triple1)] The mouse sees the tiger.[(triple2)] The tiger needs the mouse.[(triple3 OR ((((((triple1 triple2) -> rule2)) -> rule1)) -> rule5))] @1: The tiger is cold.[(((triple2) -> rule4))] The tiger likes the mouse.[(((triple1 triple2) -> rule2))] @2: The mouse is young.[(((((triple1 triple2) -> rule2)) -> rule3))] The mouse likes the tiger.[(((((triple1 triple2) -> rule2)) -> rule1))] @3: The mouse sees the mouse.[(((((((triple1 triple2) -> rule2)) -> rule1) triple3) -> rule6) OR ((((((triple1 triple2) -> rule2)) -> rule1) ((((((triple1 triple2) -> rule2)) -> rule1)) -> rule5)) -> rule6))]