Charlie is nice. Dave is not nice. Dave is not rough. Gary is not blue. Gary is not cold. Gary is not kind. Gary is round. If Charlie is cold then Charlie is not round. If Gary is not smart then Gary is rough. If something is nice and not smart then it is round. All rough, nice things are round. All cold things are kind. If Gary is cold and Gary is kind then Gary is nice. If Dave is blue and Dave is smart then Dave is rough. All smart things are cold.
Dave is blue.
@0: Charlie is nice.[(triple1)] Dave is not nice.[(triple2)] Dave is not rough.[(triple3)] Gary is not blue.[(triple4)] Gary is not cold.[(triple5)] Gary is not kind.[(triple6)] Gary is round.[(triple7)]