Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is white. Harry is not young. If someone is white and not young then they are red.
Harry is white.
@0: Harry is green.[(triple1)] Harry is kind.[(triple2)] Harry is not young.[(triple7)] Harry is red.[(triple3 OR ((triple6 triple7) -> rule1))] Harry is rough.[(triple4)] Harry is round.[(triple5)] Harry is white.[(triple6)]