Anne is white. Charlie is nice. Erin is white. Gary is nice. All nice, white people are big. Big, white people are young. If someone is big and young then they are white.
Gary is not big.
@0: Anne is white.[(triple1)] Charlie is nice.[(triple2)] Erin is white.[(triple3)] Gary is nice.[(triple4)]