Anne is cold. Anne is green. Anne is not nice. Anne is quiet. Anne is round. Anne is smart. Bob is cold. Bob is green. Bob is quiet. Bob is rough. Bob is not round. Bob is smart. If Anne is quiet and Anne is nice then Anne is not smart. All green people are cold. If someone is not quiet then they are nice.
Bob is not smart.