Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Bob is young. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. If Fiona is furry then Fiona is cold. If something is not quiet then it is red. All smart things are furry.
Fiona is not smart.