The mouse is nice. All nice, big people are blue. If the mouse is nice then the mouse is cold. Blue, nice people are cold. If the mouse is big and the mouse is blue then the mouse is nice. All cold people are big. If the mouse is blue then the mouse is not green.
The mouse sees the mouse.
@0: The mouse is nice.[(triple1)] @1: The mouse is cold.[(((triple1) -> rule2))] @2: The mouse is big.[(((((triple1) -> rule2)) -> rule5))] @3: The mouse is blue.[(((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule1))] @4: The mouse is not green.[(((((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule6))]