Anne is white. Charlie is white. Dave is green. Harry is quiet. If someone is white and nice then they are big. If someone is rough then they are white. If Anne is rough and Anne is big then Anne is nice.
Harry is not quiet.
@0: Anne is white.[(triple1)] Charlie is white.[(triple2)] Dave is green.[(triple3)] Harry is quiet.[(triple4)]