Anne is quiet. Charlie is big. Harry is kind. White things are furry. If Harry is kind then Harry is white. If something is white then it is not quiet. If something is furry and kind then it is big. If something is kind and not furry then it is young. If Harry is not young then Harry is quiet.
Anne is not quiet.
@0: Anne is quiet.[(triple1)] Charlie is big.[(triple2)] Harry is kind.[(triple3)] @1: Harry is white.[(((triple3) -> rule2))] @2: Harry is furry.[(((((triple3) -> rule2)) -> rule1))] Harry is not quiet.[(((((triple3) -> rule2)) -> rule3))] @3: Harry is big.[(((((((triple3) -> rule2)) -> rule1) triple3) -> rule4))]