Dave is cold. Dave is green. Dave is young. Erin is big. Erin is cold. Erin is green. Erin is not rough. Erin is not white. Gary is green. Gary is young. If someone is cold and not big then they are not white. Young, nice people are white. If someone is white and not nice then they are cold. If Erin is young then Erin is green. If Dave is nice then Dave is white. Cold, white people are young.
Gary is not white.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is not rough.[(triple7)] Erin is not white.[(triple8)] Gary is green.[(triple9)] Gary is young.[(triple10)]