Bob is big. Bob is green. Bob is young. Charlie is big. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. Gary is big. Gary is green. Gary is quiet. Gary is rough. Gary is smart. Gary is young. Red, big people are young. All quiet, big people are rough. All quiet people are smart. All rough people are big. Green people are young. Red people are quiet. If someone is red and young then they are quiet. If Charlie is red and Charlie is young then Charlie is quiet.
Bob is red.