この武装ＳＳは貨幣供給であるということはないかまたは託つかもしくはどちらもだ
fact1: この武装ＳＳは貨幣供給であるか託つかあるいはどちらもである fact2: そのコンドロイチン硫酸は貨幣供給であるかもしくはそれはノルウェー人であるかあるいは両方だ fact3: この武装ＳＳは託たないかまたは肥大するかもしくは両方ともである fact4: あの前頭葉が落ち易いということはないとすれば肥大するし女らしい fact5: もしも何かは肥大するということはないとすると「貨幣供給だということはないかもしくはそれは託つかまたはどちらもだ」ということは成り立たない fact6: あの前頭葉は肥大しない fact7: あの前頭葉は託たない fact8: 仮にあの前頭葉が肥大しないならばあの武装ＳＳは貨幣供給でないかもしくはそれは託つ fact9: そのワルツは託たない fact10: もしもこの武装ＳＳが肥大しないならあの前頭葉は託たないかそれは貨幣供給である fact11: この武装ＳＳは肥大するということはないかそれは貨幣供給であるか両方ともである fact12: あのウェイトレスは肥大しない fact13: この分析家達は取り出し易いかまたはみみっちいかもしくはどちらもである fact14: もしこの三百余人が落ち易いしそれにそれがちくま文庫であるとするとあの前頭葉は落ち易くない fact15: あの前頭葉は肥大するということはないかまたはそれは貨幣供給である fact16: 仮にあの前頭葉が貨幣供給であるということはないとすればこの武装ＳＳは託たないか肥大する fact17: もしも「なにがしかの物は名義貸しでなくて加えてそれは対馬藩士でない」ということは成り立たないとすると「名義貸しである」ということは成り立つ fact18: この武装ＳＳは貨幣供給でないかまたは肥大するかまたは両方ともである fact19: もし仮にあの前頭葉が託たないならこの武装ＳＳは肥大しないかまたは貨幣供給であるかどちらもだ fact20: あの前頭葉が肥大するし名義貸しであるならこの武装ＳＳは肥大しない fact21: その無余修は吐くかまたは堪り易いかもしくはどちらもだ fact22: もし仮にこの武装ＳＳが貨幣供給でないとするとあの前頭葉は託たないかもしくはそれは肥大する
fact8 & fact6 -> hypothesis;
fact8 & fact6 -> hypothesis;
「この武装ＳＳは貨幣供給でないかそれは託つ」ということは事実でない
fact24 -> int1: 仮にこの武装ＳＳは肥大しないとすると「「貨幣供給でないかもしくは託つかあるいはどちらもだ」ということは成り立つ」ということは成り立たない; fact25 -> int2: 仮に「あの前頭葉は名義貸しでなくてまた対馬藩士でない」ということは偽であるなら名義貸しである;
$facts$ = fact1: この武装ＳＳは貨幣供給であるか託つかあるいはどちらもである fact2: そのコンドロイチン硫酸は貨幣供給であるかもしくはそれはノルウェー人であるかあるいは両方だ fact3: この武装ＳＳは託たないかまたは肥大するかもしくは両方ともである fact4: あの前頭葉が落ち易いということはないとすれば肥大するし女らしい fact5: もしも何かは肥大するということはないとすると「貨幣供給だということはないかもしくはそれは託つかまたはどちらもだ」ということは成り立たない fact6: あの前頭葉は肥大しない fact7: あの前頭葉は託たない fact8: 仮にあの前頭葉が肥大しないならばあの武装ＳＳは貨幣供給でないかもしくはそれは託つ fact9: そのワルツは託たない fact10: もしもこの武装ＳＳが肥大しないならあの前頭葉は託たないかそれは貨幣供給である fact11: この武装ＳＳは肥大するということはないかそれは貨幣供給であるか両方ともである fact12: あのウェイトレスは肥大しない fact13: この分析家達は取り出し易いかまたはみみっちいかもしくはどちらもである fact14: もしこの三百余人が落ち易いしそれにそれがちくま文庫であるとするとあの前頭葉は落ち易くない fact15: あの前頭葉は肥大するということはないかまたはそれは貨幣供給である fact16: 仮にあの前頭葉が貨幣供給であるということはないとすればこの武装ＳＳは託たないか肥大する fact17: もしも「なにがしかの物は名義貸しでなくて加えてそれは対馬藩士でない」ということは成り立たないとすると「名義貸しである」ということは成り立つ fact18: この武装ＳＳは貨幣供給でないかまたは肥大するかまたは両方ともである fact19: もし仮にあの前頭葉が託たないならこの武装ＳＳは肥大しないかまたは貨幣供給であるかどちらもだ fact20: あの前頭葉が肥大するし名義貸しであるならこの武装ＳＳは肥大しない fact21: その無余修は吐くかまたは堪り易いかもしくはどちらもだ fact22: もし仮にこの武装ＳＳが貨幣供給でないとするとあの前頭葉は託たないかもしくはそれは肥大する ; $hypothesis$ = この武装ＳＳは貨幣供給であるということはないかまたは託つかもしくはどちらもだ ; $proof$ = 
fact8 & fact6 -> hypothesis; __PROVED__
事実1: この武装ＳＳは貨幣供給であるか託つかあるいはどちらもである
事実2: そのコンドロイチン硫酸は貨幣供給であるかもしくはそれはノルウェー人であるかあるいは両方だ
事実3: この武装ＳＳは託たないかまたは肥大するかもしくは両方ともである
事実4: あの前頭葉が落ち易いということはないとすれば肥大するし女らしい
事実5: もしも何かは肥大するということはないとすると「貨幣供給だということはないかもしくはそれは託つかまたはどちらもだ」ということは成り立たない
事実6: あの前頭葉は肥大しない
事実7: あの前頭葉は託たない
事実8: 仮にあの前頭葉が肥大しないならばあの武装ＳＳは貨幣供給でないかもしくはそれは託つ
事実9: そのワルツは託たない
事実10: もしもこの武装ＳＳが肥大しないならあの前頭葉は託たないかそれは貨幣供給である
事実11: この武装ＳＳは肥大するということはないかそれは貨幣供給であるか両方ともである
事実12: あのウェイトレスは肥大しない
事実13: この分析家達は取り出し易いかまたはみみっちいかもしくはどちらもである
事実14: もしこの三百余人が落ち易いしそれにそれがちくま文庫であるとするとあの前頭葉は落ち易くない
事実15: あの前頭葉は肥大するということはないかまたはそれは貨幣供給である
事実16: 仮にあの前頭葉が貨幣供給であるということはないとすればこの武装ＳＳは託たないか肥大する
事実17: もしも「なにがしかの物は名義貸しでなくて加えてそれは対馬藩士でない」ということは成り立たないとすると「名義貸しである」ということは成り立つ
事実18: この武装ＳＳは貨幣供給でないかまたは肥大するかまたは両方ともである
事実19: もし仮にあの前頭葉が託たないならこの武装ＳＳは肥大しないかまたは貨幣供給であるかどちらもだ
事実20: あの前頭葉が肥大するし名義貸しであるならこの武装ＳＳは肥大しない
事実21: その無余修は吐くかまたは堪り易いかもしくはどちらもだ
事実22: もし仮にこの武装ＳＳが貨幣供給でないとするとあの前頭葉は託たないかもしくはそれは肥大する

仮説: この武装ＳＳは貨幣供給であるということはないかまたは託つかもしくはどちらもだ
1. 事実8と事実6から、仮説が導かれる

よって、仮説が証明されました。