Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is smart. Harry is young. If Harry is blue and Harry is young then Harry is kind. If Harry is cold then Harry is kind.
Harry is not blue.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2)] Harry is furry.[(triple3)] Harry is green.[(triple4)] Harry is kind.[(triple5 OR ((triple2) -> rule2) OR ((triple1 triple7) -> rule1))] Harry is smart.[(triple6)] Harry is young.[(triple7)]