Anne is furry. Anne is kind. Anne is red. Bob is big. Bob is red. Bob is round. Charlie is big. Charlie is cold. Charlie is furry. Charlie is white. Dave is cold. Dave is round. All kind things are furry. All big things are kind.
Dave is not big.