Charlie is blue. Charlie is cold. Charlie is kind. Charlie is round. Charlie is white. Dave is big. Dave is red. Erin is kind. Gary is big. Gary is round. Cold, big things are white. All red, blue things are big. If Erin is blue and Erin is cold then Erin is round.
Charlie is not white.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Dave is big.[(triple6)] Dave is red.[(triple7)] Erin is kind.[(triple8)] Gary is big.[(triple9)] Gary is round.[(triple10)]