Anne is big. Anne is rough. Bob is furry. Bob is rough. Dave is not big. Dave is cold. Dave is green. Dave is not kind. Dave is nice. Dave is rough. All furry people are rough. All furry people are cold. If someone is furry then they are green. If someone is green then they are nice. If Dave is green and Dave is big then Dave is furry. If Dave is not cold then Dave is rough. If someone is not cold then they are not kind. If Anne is green and Anne is not rough then Anne is not big.
Bob is not furry.