Anne is not round. Dave is big. If someone is big then they are quiet. Quiet people are furry. If someone is kind then they are furry. Kind, blue people are big. All furry people are not kind. Big, kind people are blue.
Dave is not quiet.
@0: Anne is not round.[(triple1)] Dave is big.[(triple2)] @1: Dave is quiet.[(((triple2) -> rule1))] @2: Dave is furry.[(((((triple2) -> rule1)) -> rule2))] @3: Dave is not kind.[(((((((triple2) -> rule1)) -> rule2)) -> rule5))]