The mouse is green. Nice things are green. All green things are nice. If the mouse is green and the mouse is not nice then the mouse is blue. If something is green and not blue then it is round. Nice things are round. If the mouse is round then the mouse is red. All blue, nice things are red. All blue, round things are not red.
The mouse is not red.
@0: The mouse is green.[(triple1)] @1: The mouse is nice.[(((triple1) -> rule2))] @2: The mouse is round.[(((((triple1) -> rule2)) -> rule5))] @3: The mouse is red.[(((((((triple1) -> rule2)) -> rule5)) -> rule6))]