Charlie is big. Charlie is nice. Charlie is not white. Erin is nice. Erin is not round. Erin is not white. Gary is nice. Gary is round. Gary is white. Gary is young. If Gary is round and Gary is big then Gary is white.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is not white.[(triple3)] Erin is nice.[(triple4)] Erin is not round.[(triple5)] Erin is not white.[(triple6)] Gary is nice.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)]