Bob is blue. Bob is furry. Bob is round. Charlie is smart. Erin is smart. Harry is nice. Harry is round. If something is quiet then it is nice. If something is blue and smart then it is furry. If Charlie is smart and Charlie is rough then Charlie is blue. If something is nice then it is rough. Nice things are quiet. Smart things are quiet.
Charlie is not furry.