Bob is furry. Fiona is not cold. If Bob is quiet and Bob is green then Bob is smart. Big things are not cold. All cold, quiet things are not smart. If Bob is smart and Bob is green then Bob is not quiet. If something is big then it is green. If something is round and not cold then it is not green. If something is big and green then it is round. If something is not green then it is smart.
Fiona is not cold.