Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is rough. Bob is green. Dave is big. Harry is big. Harry is blue. Harry is furry. If someone is blue and cold then they are furry. Green people are big. If Harry is big then Harry is round. If Bob is big then Bob is round. Rough people are cold. All round people are cold. All cold people are blue. Furry people are green. If someone is blue and not green then they are cold.
Dave is furry.