Charlie is white. Erin is young. Gary is red. Harry is young. If something is young and white then it is blue. If Erin is smart and Erin is big then Erin is red. Cold things are blue. Young things are white. If something is not smart then it is young. If something is blue and not young then it is not white. If something is cold and not red then it is big. If something is white and not blue then it is not big.
Charlie is not big.