Bob is big. Bob is cold. Bob is kind. Bob is smart. Dave is cold. Dave is quiet. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is smart. Fiona is white. Harry is cold. Harry is furry. Harry is quiet. Harry is white. If something is quiet and cold then it is smart. Quiet, smart things are kind. If something is smart then it is quiet. If Harry is big then Harry is white. White things are quiet. If Bob is kind and Bob is furry then Bob is white.
Dave is not big.