Anne is furry. Anne is young. Bob is cold. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. Harry is furry. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Smart things are young. If something is cold then it is red. If something is cold and smart then it is young. All red things are smart. All smart things are young. All young things are rough. If something is rough then it is furry. Smart things are red. All smart, furry things are young.
Bob is not furry.