Harry is big. Harry is green. Harry is not kind. Harry is nice. Harry is not quiet. Harry is not red. Harry is not white. If Harry is not white and Harry is not big then Harry is green. Green people are nice.
Harry is kind.
@0: Harry is big.[(triple1)] Harry is green.[(triple2)] Harry is nice.[(triple4 OR ((triple2) -> rule2))] Harry is not kind.[(triple3)] Harry is not quiet.[(triple5)] Harry is not red.[(triple6)] Harry is not white.[(triple7)]