Anne is blue. Anne is quiet. Anne is young. Bob is big. Bob is furry. Bob is quiet. Bob is red. Bob is young. Dave is big. Dave is blue. Fiona is big. Fiona is blue. If someone is blue then they are smart. If Anne is smart then Anne is furry. If Bob is smart then Bob is quiet. All furry people are red. If Fiona is quiet then Fiona is furry. All smart, red people are big.
Anne is red.