Anne is big. Anne is green. Anne is not white. Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is not white. Bob is young. Dave is cold. Harry is furry. Furry things are big. Big things are smart. If something is cold then it is green. All young things are smart. Green things are furry. Smart, big things are young.
Dave is not furry.