Anne is not blue. Anne is young. Dave is big. Dave is not blue. Dave is not kind. Dave is red. Dave is smart. Gary is big. Gary is blue. Gary is rough. Kind people are blue. All young people are not rough. Red, kind people are young. Red, blue people are smart. If Dave is red and Dave is kind then Dave is smart. Blue, big people are not smart. If someone is not big then they are not smart. If Anne is big and Anne is not smart then Anne is young.
Dave is big.