Charlie is cold. Charlie is not kind. Charlie is not quiet. Charlie is red. Charlie is not rough. Charlie is smart. Charlie is not white. White, cold people are not kind. If Charlie is smart and Charlie is kind then Charlie is white. All rough, cold people are white.
Charlie is not rough.
@0: Charlie is cold.[(triple1)] Charlie is not kind.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is not rough.[(triple5)] Charlie is not white.[(triple7)] Charlie is red.[(triple4)] Charlie is smart.[(triple6)]