「その移相量は少ないかもしくはサブマリーナであるかあるいは両方である」ということは誤っている
fact1: 「この労務不提供はむくつけしかそれは少なくない」ということは誤りだとすれば「その移相量は少なくない」ということは確かだ fact2: もしも何かは少ないということはないとすれば確認し易いかあるいはサブマリーナであるかもしくはどちらもである fact3: もしもその咳止めが餓鬼っぽくないならあの外国投資は模倣出来るしまたグリコーゲンローディングである fact4: もしなんらかの物が模倣出来れば争い合う fact5: もしもあの外国投資は疾しとすれば「この労務不提供はむくつけしか少なくないかもしくはどちらもである」ということは正しくない fact6: 仮にその足場上が確認し易いとしたらこの猶子は険しい fact7: その足場上は確認し易いしそれに険しい fact8: もし仮になにがしかの物は争い合うなら「疾し」ということは正しい fact9: もしもその足場上が険しいとすればその移相量は少ない
fact7 -> int1: その足場上は険しい; int1 & fact9 -> int2: その移相量は少ない; int2 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{b}; int2 -> hypothesis;
この猶子は険しい
fact12 -> int3: その移相量が少ないということはないとするとそれは確認し易いかサブマリーナであるかもしくは両方ともである; fact13 -> int4: あの外国投資が争い合うとすればそれは疾し; fact11 -> int5: もし仮にあの外国投資が模倣出来るとしたらそれは争い合う;
$facts$ = fact1: 「この労務不提供はむくつけしかそれは少なくない」ということは誤りだとすれば「その移相量は少なくない」ということは確かだ fact2: もしも何かは少ないということはないとすれば確認し易いかあるいはサブマリーナであるかもしくはどちらもである fact3: もしもその咳止めが餓鬼っぽくないならあの外国投資は模倣出来るしまたグリコーゲンローディングである fact4: もしなんらかの物が模倣出来れば争い合う fact5: もしもあの外国投資は疾しとすれば「この労務不提供はむくつけしか少なくないかもしくはどちらもである」ということは正しくない fact6: 仮にその足場上が確認し易いとしたらこの猶子は険しい fact7: その足場上は確認し易いしそれに険しい fact8: もし仮になにがしかの物は争い合うなら「疾し」ということは正しい fact9: もしもその足場上が険しいとすればその移相量は少ない ; $hypothesis$ = 「その移相量は少ないかもしくはサブマリーナであるかあるいは両方である」ということは誤っている ; $proof$ = 
fact7 -> int1: その足場上は険しい; int1 & fact9 -> int2: その移相量は少ない; int2 -> hypothesis; __DISPROVED__
事実1: 「この労務不提供はむくつけしかそれは少なくない」ということは誤りだとすれば「その移相量は少なくない」ということは確かだ
事実2: もしも何かは少ないということはないとすれば確認し易いかあるいはサブマリーナであるかもしくはどちらもである
事実3: もしもその咳止めが餓鬼っぽくないならあの外国投資は模倣出来るしまたグリコーゲンローディングである
事実4: もしなんらかの物が模倣出来れば争い合う
事実5: もしもあの外国投資は疾しとすれば「この労務不提供はむくつけしか少なくないかもしくはどちらもである」ということは正しくない
事実6: 仮にその足場上が確認し易いとしたらこの猶子は険しい
事実7: その足場上は確認し易いしそれに険しい
事実8: もし仮になにがしかの物は争い合うなら「疾し」ということは正しい
事実9: もしもその足場上が険しいとすればその移相量は少ない

仮説: 「その移相量は少ないかもしくはサブマリーナであるかあるいは両方である」ということは誤っている
1. 事実7から、推論1: "その足場上は険しい"が導かれる
2. 推論1と事実9から、推論2: "その移相量は少ない"が導かれる
3. 推論2から、仮説が否定される

よって、仮説が否定されました。