Harry is cold. Harry is quiet. Harry is white. If something is quiet and not green then it is white. All quiet things are cold. If something is white and red then it is cold. If something is round then it is cold. If something is smart and not green then it is red. All quiet things are red.
Harry is not green.
@0: Harry is cold.[(triple1 OR ((triple2) -> rule2) OR ((triple3 ((triple2) -> rule6)) -> rule3))] Harry is quiet.[(triple2)] Harry is white.[(triple3)] @1: Harry is red.[(((triple2) -> rule6))]