Dave is big. Dave is smart. Dave is white. Erin is not green. Gary is big. Gary is smart. Gary is not white. All green things are not white. If something is nice and not smart then it is big. If something is not smart then it is white. All nice things are not young. If Dave is nice then Dave is young. If something is round and not green then it is nice. If Gary is smart then Gary is round. If something is not smart and not white then it is round.
Dave is smart.