Harry is cold. Harry is not green. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is round. If something is kind and nice then it is cold.
Harry is green.
@0: Harry is cold.[(triple1 OR ((triple3 triple4) -> rule1))] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is not green.[(triple2)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)]