Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is white. If something is quiet and white then it is nice. Red, kind things are nice. If something is red then it is round.
Harry is not red.
@0: Harry is kind.[(triple1)] Harry is nice.[(triple2 OR ((triple3 triple7) -> rule1) OR ((triple4 triple1) -> rule2))] Harry is quiet.[(triple3)] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6 OR ((triple4) -> rule3))] Harry is white.[(triple7)]