「仮に「薬種商でない」ということは成り立つとしたら「し続けるということはなくてかつ掲ぐということはない」ということは成り立たない」ものはある
fact1: 仮にあの四域は薬種商でないならば「し続けなくて掲ぐない」ということは成り立つということはない
$facts$ = fact1: 仮にあの四域は薬種商でないならば「し続けなくて掲ぐない」ということは成り立つということはない ; $hypothesis$ = 「仮に「薬種商でない」ということは成り立つとしたら「し続けるということはなくてかつ掲ぐということはない」ということは成り立たない」ものはある ; $proof$ = 
事実1: 仮にあの四域は薬種商でないならば「し続けなくて掲ぐない」ということは成り立つということはない

仮説: 「仮に「薬種商でない」ということは成り立つとしたら「し続けるということはなくてかつ掲ぐということはない」ということは成り立たない」ものはある