The mouse likes the tiger. The rabbit needs the mouse. The tiger sees the rabbit. If something needs the mouse then it is kind. If the mouse is kind then the mouse is blue. If something is kind then it does not need the tiger. If the mouse likes the tiger then the tiger needs the mouse. If something sees the tiger and it is cold then the tiger sees the mouse. If the rabbit needs the mouse then the rabbit is cold. If something likes the tiger and it is not cold then the tiger is not big. If something likes the mouse and it likes the tiger then the tiger is big.
The mouse is not kind.
@0: The mouse likes the tiger.[(triple1)] The rabbit needs the mouse.[(triple2)] The tiger sees the rabbit.[(triple3)] @1: The rabbit is cold.[(((triple2) -> rule6))] The rabbit is kind.[(((triple2) -> rule1))] The tiger needs the mouse.[(((triple1) -> rule4))] @2: The rabbit does not need the tiger.[(((((triple2) -> rule1)) -> rule3))] The tiger is kind.[(((((triple1) -> rule4)) -> rule1))] @3: The tiger does not need the tiger.[(((((((triple1) -> rule4)) -> rule1)) -> rule3))]