Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is smart. Bob is big. Bob is furry. Bob is green. Bob is quiet. Dave is big. Dave is blue. Dave is cold. Dave is quiet. Dave is smart. Fiona is furry. Fiona is green. Smart things are cold. If Fiona is furry and Fiona is smart then Fiona is green. If something is blue and furry then it is green. All blue things are smart. All quiet, blue things are smart. Green things are quiet. If something is blue and cold then it is big. Furry, quiet things are blue. If something is blue and smart then it is green.
Bob is not big.