Bob is red. Charlie is nice. Gary is kind. If Charlie is quiet then Charlie is rough. If Charlie is nice and Charlie is red then Charlie is quiet. If Charlie is cold and Charlie is quiet then Charlie is kind. All quiet people are young. If Charlie is kind and Charlie is red then Charlie is quiet. If someone is cold and quiet then they are rough. If someone is red then they are quiet. If Gary is young and Gary is red then Gary is quiet.
Gary is not cold.