「この不弥国は大量輸送であるということはない」ということは本当だ
fact1: 仮に「「なにがしかのものは辱しめでなくてそれは大量輸送でない」ということは事実だ」ということは成り立たないとしたら辱しめである fact2: もし仮に「むず痒くないし辱しめでない」物があるとすればあの不弥国は大量輸送でない fact3: あの人工子宮が辱しめならばあの不弥国はむず痒くない fact4: 「ある物は辱しめでない」ということは事実である fact5: 仮にこの最大振幅が録画しないししかも図太くないならばその脂粉は図太い fact6: もしもその脂粉が図太いとしたらあの痴人は辱しめだ fact7: この不弥国は仄白いということはない fact8: 「むず痒くなくて辱しめである」ものはある fact9: 「むず痒くて辱しめでない」物はある fact10: 「むず痒くない」ものはある fact11: なにかはむず痒くないし辱しめでない fact12: 御存じ無くないし手厚くないものはある
fact11 & fact2 -> hypothesis;
fact11 & fact2 -> hypothesis;
この不弥国はむず痒くない
fact13 -> int1: もしも「あの人工子宮は辱しめでないしその上大量輸送であるということはない」ということは事実と異なるとするとそれは辱しめである;
$facts$ = fact1: 仮に「「なにがしかのものは辱しめでなくてそれは大量輸送でない」ということは事実だ」ということは成り立たないとしたら辱しめである fact2: もし仮に「むず痒くないし辱しめでない」物があるとすればあの不弥国は大量輸送でない fact3: あの人工子宮が辱しめならばあの不弥国はむず痒くない fact4: 「ある物は辱しめでない」ということは事実である fact5: 仮にこの最大振幅が録画しないししかも図太くないならばその脂粉は図太い fact6: もしもその脂粉が図太いとしたらあの痴人は辱しめだ fact7: この不弥国は仄白いということはない fact8: 「むず痒くなくて辱しめである」ものはある fact9: 「むず痒くて辱しめでない」物はある fact10: 「むず痒くない」ものはある fact11: なにかはむず痒くないし辱しめでない fact12: 御存じ無くないし手厚くないものはある ; $hypothesis$ = 「この不弥国は大量輸送であるということはない」ということは本当だ ; $proof$ = 
fact11 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「「なにがしかのものは辱しめでなくてそれは大量輸送でない」ということは事実だ」ということは成り立たないとしたら辱しめである
事実2: もし仮に「むず痒くないし辱しめでない」物があるとすればあの不弥国は大量輸送でない
事実3: あの人工子宮が辱しめならばあの不弥国はむず痒くない
事実4: 「ある物は辱しめでない」ということは事実である
事実5: 仮にこの最大振幅が録画しないししかも図太くないならばその脂粉は図太い
事実6: もしもその脂粉が図太いとしたらあの痴人は辱しめだ
事実7: この不弥国は仄白いということはない
事実8: 「むず痒くなくて辱しめである」ものはある
事実9: 「むず痒くて辱しめでない」物はある
事実10: 「むず痒くない」ものはある
事実11: なにかはむず痒くないし辱しめでない
事実12: 御存じ無くないし手厚くないものはある

仮説: 「この不弥国は大量輸送であるということはない」ということは本当だ
1. 事実11と事実2から、仮説が導かれる

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