Harry is furry. All furry, blue things are big. If something is furry then it is round. Furry, blue things are round. Blue things are furry. If Harry is big then Harry is quiet. If something is round and not rough then it is not quiet. If Harry is round then Harry is not blue. All quiet things are nice.
Harry is not quiet.
@0: Harry is furry.[(triple1)] @1: Harry is round.[(((triple1) -> rule2))] @2: Harry is not blue.[(((((triple1) -> rule2)) -> rule7))]