Bob is green. Bob is young. Dave is cold. Dave is rough. Erin is young. Gary is green. Gary is smart. All cold, green people are rough. All cold, rough people are young. Rough people are round. If Bob is smart then Bob is big. All green people are smart. All green, smart people are young. If someone is round then they are young. All big people are cold.
Bob is not big.