Charlie is not red. Gary is white. Gary is young. If Charlie is kind then Charlie is not quiet. If Charlie is kind then Charlie is quiet. If someone is kind and not white then they are not quiet. If someone is big and red then they are rough. If Gary is kind and Gary is big then Gary is quiet. All kind people are not red. If Charlie is big then Charlie is not rough. Quiet people are kind.
Charlie is not rough.
@0: Charlie is not red.[(triple1)] Gary is white.[(triple2)] Gary is young.[(triple3)]