Anne is green. Anne is white. Bob is smart. Charlie is nice. Erin is furry. Erin is green. Erin is round. If something is quiet then it is green. White things are round. If something is quiet then it is furry. If Erin is green then Erin is furry. All green things are nice. All furry, nice things are round.
Bob is not furry.