Bob is big. Dave is round. Fiona is not cold. Round things are nice. All cold things are smart. All kind things are round. All big things are not round. All big, smart things are not nice. All nice things are cold.
Dave is not cold.