Anne is not smart. Charlie is big. Charlie is kind. Charlie is nice. Erin is kind. Erin is young. Gary is not green. Gary is kind. Gary is nice. Gary is smart. If Anne is quiet and Anne is nice then Anne is big. If something is kind and green then it is nice. If Anne is quiet then Anne is big. If something is nice then it is big. If something is not quiet then it is not green. All smart, green things are not young. If something is not quiet and not green then it is nice. If something is not nice then it is big.
Charlie is not big.