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