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