Harry is cold. Harry is kind. Harry is quiet. Kind things are round. If something is quiet and white then it is kind. All quiet things are kind.
Harry is not cold.
@0: Harry is cold.[(triple1)] Harry is kind.[(triple2 OR ((triple3) -> rule3))] Harry is quiet.[(triple3)] @1: Harry is round.[(((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))]