Anne is round. Charlie is nice. Dave is big. Gary is white. If Gary is young and Gary is nice then Gary is round. If Dave is nice then Dave is young.
Gary is not white.
@0: Anne is round.[(triple1)] Charlie is nice.[(triple2)] Dave is big.[(triple3)] Gary is white.[(triple4)]