Charlie is white. Dave is round. Erin is big. Gary is not big. Green things are young. If something is round and smart then it is not white. All young, green things are white. Green things are big. If Erin is smart and Erin is not rough then Erin is young. If Dave is smart then Dave is round.
Dave is not white.
@0: Charlie is white.[(triple1)] Dave is round.[(triple2)] Erin is big.[(triple3)] Gary is not big.[(triple4)]