Harry is blue. Harry is not round. Harry is not white. Green things are not white. If something is young and not green then it is not white. If something is nice and not quiet then it is not round. If Harry is not white then Harry is not round. If something is green and not round then it is blue. White things are blue.
Harry is not young.
@0: Harry is blue.[(triple1)] Harry is not round.[(triple2 OR ((triple3) -> rule4))] Harry is not white.[(triple3)]