Charlie is round. Gary is not white. Harry is nice. If something is red then it is not quiet. If Charlie is quiet then Charlie is white.
Charlie is not white.
@0: Charlie is round.[(triple1)] Gary is not white.[(triple2)] Harry is nice.[(triple3)]