Anne is big. Bob is green. Bob is quiet. Bob is white. Charlie is green. Gary is green. Gary is white. Green people are cold. If someone is white and big then they are cold. Rough, green people are big. If Bob is quiet and Bob is green then Bob is cold. If Charlie is cold then Charlie is furry. All big, cold people are quiet. Rough, green people are furry. All furry, green people are rough. If Bob is furry and Bob is cold then Bob is green.
Charlie is not furry.