Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is young. If Harry is furry then Harry is green. All green, red people are quiet.
Harry is not blue.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2)] Harry is furry.[(triple3)] Harry is green.[(triple4 OR ((triple3) -> rule1))] Harry is quiet.[(triple5 OR ((triple4 triple6) -> rule2) OR ((((triple3) -> rule1) triple6) -> rule2))] Harry is red.[(triple6)] Harry is young.[(triple7)]