Bob is nice. Bob is red. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is young. Erin is quiet. Fiona is quiet. Fiona is red. Fiona is young. If something is round then it is not cold. All nice things are young. If something is quiet and not cold then it is young. Cold things are round. All smart things are round. If something is young and not quiet then it is red. If something is young then it is red. All red things are smart. If something is not smart then it is round.
Fiona is not cold.