Anne is cold. Anne is quiet. Charlie is young. Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is red. Fiona is big. Fiona is green. If Anne is young and Anne is cold then Anne is big. Cold people are red. Cold people are young. If someone is nice and young then they are big. If someone is green and big then they are nice. If someone is cold then they are quiet. All nice, young people are quiet. If Charlie is nice then Charlie is red.
Dave is red.