Charlie is blue. Charlie is not rough. Gary is big. Harry is blue. Harry is green. Harry is quiet. Harry is red. If Gary is green and Gary is cold then Gary is blue. If Harry is rough then Harry is not big. Green people are not big.
Gary is not blue.