Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is smart. Harry is white. All smart, kind people are red. If Harry is blue then Harry is smart. Smart, blue people are white.
Harry is nice.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is red.[(triple5 OR ((triple6 triple3) -> rule1) OR ((((triple1) -> rule2) triple3) -> rule1))] Harry is smart.[(triple6 OR ((triple1) -> rule2))] Harry is white.[(triple7 OR ((triple6 triple1) -> rule3) OR ((((triple1) -> rule2) triple1) -> rule3))]