Harry is blue. White people are quiet. If someone is cold and not blue then they are quiet. All blue people are not red. If someone is quiet and not blue then they are not cold. Blue people are white. If Harry is white and Harry is quiet then Harry is cold. If someone is white and not blue then they are furry. If someone is quiet and not white then they are not rough.
Harry is quiet.
@0: Harry is blue.[(triple1)] @1: Harry is not red.[(((triple1) -> rule3))] Harry is white.[(((triple1) -> rule5))] @2: Harry is quiet.[(((((triple1) -> rule5)) -> rule1))] @3: Harry is cold.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule6))]