Anne is big. Anne is red. Bob is red. Charlie is kind. Charlie is red. Gary is big. Gary is furry. All kind, furry people are nice. Rough, furry people are big. Big people are quiet. All rough people are big. All quiet people are furry. If Anne is big then Anne is kind. If someone is rough and furry then they are red. If someone is furry then they are nice. If Charlie is kind then Charlie is rough.
Charlie is not furry.