Anne is cold. Anne is young. Charlie is smart. Dave is big. Dave is green. Dave is round. Fiona is green. All cold things are big. If something is big and cold then it is green. Green things are smart.
Fiona is not big.