Bob is big. Bob is not cold. Bob is green. Bob is red. Bob is round. Bob is young. Dave is not cold. Dave is green. Dave is quiet. Dave is red. Dave is not round. Dave is young. Gary is cold. Gary is green. Gary is red. Gary is round. All green, young people are red. All big people are red. If Bob is young then Bob is green. All cold people are young. If someone is green then they are big. If someone is green then they are big.
Gary is quiet.