Charlie is kind. Gary is blue. If something is cold then it is red. All rough, red things are blue. All kind, rough things are red. Cold, blue things are big. If something is cold and blue then it is rough. Cold, big things are furry.
Gary is not blue.
@0: Charlie is kind.[(triple1)] Gary is blue.[(triple2)]