Anne is not cold. Anne is kind. Anne is nice. Anne is rough. Bob is big. Bob is furry. Charlie is green. Charlie is rough. Dave is big. Dave is nice. All big things are not kind. If Anne is kind and Anne is not rough then Anne is big.
Bob is furry.