Harry is not cold. Harry is green. Harry is kind. Harry is nice. Harry is not quiet. Harry is not round. Harry is white. Cold people are not nice. If Harry is kind then Harry is not cold.
Harry is kind.
@0: Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is not cold.[(triple1 OR ((triple3) -> rule2))] Harry is not quiet.[(triple5)] Harry is not round.[(triple6)] Harry is white.[(triple7)]