Anne is red. Dave is red. All furry, kind things are big. All blue things are big. If Anne is red then Anne is kind. All blue, young things are red. Kind things are blue. If something is round then it is kind.
Anne is not red.
@0: Anne is red.[(triple1)] Dave is red.[(triple2)] @1: Anne is kind.[(((triple1) -> rule3))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule5))] @3: Anne is big.[(((((((triple1) -> rule3)) -> rule5)) -> rule2))]