Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is white. If someone is blue and cold then they are round. If someone is quiet and nice then they are blue.
Harry is not blue.
@0: Harry is blue.[(triple1 OR ((triple5 triple4) -> rule2))] Harry is cold.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is quiet.[(triple5)] Harry is round.[(triple6 OR ((triple1 triple2) -> rule1) OR ((((triple5 triple4) -> rule2) triple2) -> rule1))] Harry is white.[(triple7)]