Anne is not big. Anne is cold. Anne is green. Anne is smart. Anne is young. Bob is big. Bob is cold. Bob is green. Bob is red. Bob is smart. Bob is white. Bob is not young. Dave is big. Dave is cold. Dave is not young. Gary is white. If someone is young and not big then they are white. If Anne is not cold and Anne is not white then Anne is smart.
Bob is white.