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