Bob is green. Bob is red. Bob is young. Dave is green. Dave is quiet. Dave is young. Gary is big. Gary is green. Gary is quiet. Gary is red. Gary is smart. Gary is young. If Gary is young then Gary is smart. If someone is red and young then they are big. If someone is white then they are young. White people are young. If Dave is green and Dave is red then Dave is white. If someone is quiet then they are smart. If Gary is quiet and Gary is white then Gary is smart. If someone is white and young then they are green.
Gary is not big.