Anne is cold. Anne is green. Anne is nice. Bob is young. Dave is green. Dave is nice. Dave is smart. Harry is big. Harry is blue. Harry is cold. If Anne is young and Anne is cold then Anne is green. All big, young things are smart. Young things are green. All green things are cold. If Anne is young and Anne is green then Anne is blue. If something is young then it is nice. All young, smart things are nice. If something is nice then it is young.
Anne is not big.