Anne is quiet. Anne is not red. Anne is young. Bob is smart. Bob is young. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. Gary is blue. Gary is green. Gary is red. Gary is not smart. Gary is white. If Gary is young then Gary is red. If something is not white then it is smart.
Bob is red.