Anne is cold. Anne is quiet. Anne is smart. Anne is young. Bob is cold. Bob is nice. Bob is young. Gary is quiet. Gary is smart. Gary is young. Harry is green. Quiet, furry things are cold. Green things are young. If something is young and smart then it is quiet. If something is quiet and green then it is furry. All furry, cold things are nice. If Anne is furry and Anne is smart then Anne is cold. If something is green then it is smart.
Bob is smart.