Anne is furry. Anne is green. Anne is nice. Anne is rough. Anne is round. Dave is green. Gary is furry. Gary is green. Gary is round. Harry is rough. If Dave is green then Dave is blue. All rough people are green. If someone is round then they are nice. If Anne is round then Anne is nice. If Dave is rough then Dave is round. If Anne is furry and Anne is round then Anne is green. Green people are nice. If someone is blue and nice then they are furry.
Dave is furry.