Dave is blue. Dave is cold. Dave is quiet. Dave is smart. Harry is blue. Harry is cold. Harry is furry. Harry is quiet. Harry is round. Harry is smart. All blue things are big. If Harry is blue and Harry is round then Harry is smart. If Harry is smart and Harry is blue then Harry is furry.
Dave is not big.