Bob is big. Dave is big. Dave is not cold. Dave is nice. Dave is round. Dave is white. Fiona is white. Gary is blue. Gary is cold. Gary is nice. Gary is round. Gary is white. Cold people are nice. All cold, blue people are big. If Bob is blue then Bob is cold. If someone is big then they are blue. Round, nice people are white. All nice people are round.
Bob is not nice.