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 round.
@0: Charlie is round.[(triple1)] Gary is not white.[(triple2)] Harry is nice.[(triple3)]