Charlie is quiet. Harry is rough. Harry is not white. If Charlie is white then Charlie is not blue. All nice things are green. If something is blue and green then it is white. If something is kind and nice then it is not blue. Green things are nice. If Harry is kind and Harry is green then Harry is blue. Green, white things are quiet. If something is white and not blue then it is rough.
Harry is white.
@0: Charlie is quiet.[(triple1)] Harry is not white.[(triple3)] Harry is rough.[(triple2)]