Dave is cold. Dave is red. Dave is rough. Dave is white. Dave is young. Gary is big. Gary is cold. Gary is red. Gary is rough. Gary is smart. Gary is young. Harry is big. Harry is cold. Harry is red. Harry is white. If Harry is red then Harry is smart.
Gary is big.