「もし腫れぼったくないとすると東京湾上都市でない」ものはある
fact1: もしもその増減額が腫れぼったいということはないならばそれは東京湾上都市でない
$facts$ = fact1: もしもその増減額が腫れぼったいということはないならばそれは東京湾上都市でない ; $hypothesis$ = 「もし腫れぼったくないとすると東京湾上都市でない」ものはある ; $proof$ = 
事実1: もしもその増減額が腫れぼったいということはないならばそれは東京湾上都市でない

仮説: 「もし腫れぼったくないとすると東京湾上都市でない」ものはある