Anne is not smart. Bob is blue. Fiona is not blue. Harry is blue. If something is blue and furry then it is not smart. Smart, rough things are furry. If something is cold and not rough then it is big. If Fiona is blue and Fiona is big then Fiona is cold. If something is rough then it is blue. If something is blue and not furry then it is not big.
Fiona is big.