Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is smart. Fiona is cold. Fiona is kind. All big things are quiet. All smart things are kind. If Fiona is blue then Fiona is furry. Cold, blue things are big. Kind, quiet things are smart. Kind things are quiet. All smart things are furry. Furry things are smart.
Dave is not blue.