「そのミンクは子宮内膜癌であるし動転する」ということは嘘である
fact1: そのミンクが編隊でないとすればあのＬ式は子宮内膜癌である fact2: 仮にあの猪牙船は保管料でないとしたら「子宮内膜癌でないしさらに動転するということはない」ということは誤りだ fact3: 「編隊は動転する」ということは確かだ fact4: もし仮にこの三条殿は湿気易くないならば「それは編隊であるし断り難い」ということは事実と異なる fact5: もしも断り難くないものは威張れるとすれば「編隊でない」ということは確かだ fact6: 「あの猪牙船は保管料でない」ということは真実だ fact7: もし仮に「あの猪牙船は子宮内膜癌でない」ということは本当ならば偏り易くないし加えてそれは編隊でない fact8: あの猪牙船が偏り易くないならばそれは花色でなくてまたドルチェでない fact9: もしあの猪牙船が動転するならあの償却・引き当ては動転する fact10: あの猪牙船は偏り易いということはない fact11: 「「断り難くないが威張れる」ということは事実と異なる」ものはある fact12: ある物は子宮内膜癌だということはない一方で花色である fact13: もし仮になにかは威張れるしまた編隊であるとすれば偏り易くない fact14: もし仮に「編隊でない」ものはあるなら「そのミンクは威張れないけどそれは編隊である」ということは成り立たない fact15: もしそのミンクが編隊でないとすればあの償却・引き当てはＡ男だし偏り易い fact16: もしもあの猪牙船がドルチェでないならばそのミンクは子宮内膜癌である fact17: もし「この三条殿は編隊であるししかも断り難い」ということは嘘だとすればあのＬ式は編隊でない fact18: 仮に「なにがしかの物は威張れないけれど編隊である」ということは偽であるとすると編隊でない fact19: 仮に「「「断り難くないし威張れる」ということは真実だ」ということは成り立たない」ものがあるとすればあのＬ式は編隊である fact20: もし仮にそのミンクは花色だということはないとすれば「あの猪牙船は子宮内膜癌である」ということは成り立つ fact21: あのＬ式が編隊であるならばそのミンクは編隊だ
fact8 & fact10 -> int1: あの猪牙船は花色でなくてかつドルチェだということはない; int1 -> int2: あの猪牙船はドルチェであるということはない; int2 & fact16 -> int3: そのミンクは子宮内膜癌だ; fact19 & fact11 -> int4: あのＬ式は編隊である; fact21 & int4 -> int5: 「そのミンクは編隊である」ということは成り立つ; fact3 -> int6: もし仮にそのミンクが編隊だとしたら動転する; int5 & int6 -> int7: そのミンクは動転する; int3 & int7 -> hypothesis;
「そのミンクは子宮内膜癌であるしそれは動転する」ということは成り立たない
fact22 -> int8: もしもあの猪牙船は断り難くない一方で威張れればそれは編隊でない;
$facts$ = fact1: そのミンクが編隊でないとすればあのＬ式は子宮内膜癌である fact2: 仮にあの猪牙船は保管料でないとしたら「子宮内膜癌でないしさらに動転するということはない」ということは誤りだ fact3: 「編隊は動転する」ということは確かだ fact4: もし仮にこの三条殿は湿気易くないならば「それは編隊であるし断り難い」ということは事実と異なる fact5: もしも断り難くないものは威張れるとすれば「編隊でない」ということは確かだ fact6: 「あの猪牙船は保管料でない」ということは真実だ fact7: もし仮に「あの猪牙船は子宮内膜癌でない」ということは本当ならば偏り易くないし加えてそれは編隊でない fact8: あの猪牙船が偏り易くないならばそれは花色でなくてまたドルチェでない fact9: もしあの猪牙船が動転するならあの償却・引き当ては動転する fact10: あの猪牙船は偏り易いということはない fact11: 「「断り難くないが威張れる」ということは事実と異なる」ものはある fact12: ある物は子宮内膜癌だということはない一方で花色である fact13: もし仮になにかは威張れるしまた編隊であるとすれば偏り易くない fact14: もし仮に「編隊でない」ものはあるなら「そのミンクは威張れないけどそれは編隊である」ということは成り立たない fact15: もしそのミンクが編隊でないとすればあの償却・引き当てはＡ男だし偏り易い fact16: もしもあの猪牙船がドルチェでないならばそのミンクは子宮内膜癌である fact17: もし「この三条殿は編隊であるししかも断り難い」ということは嘘だとすればあのＬ式は編隊でない fact18: 仮に「なにがしかの物は威張れないけれど編隊である」ということは偽であるとすると編隊でない fact19: 仮に「「「断り難くないし威張れる」ということは真実だ」ということは成り立たない」ものがあるとすればあのＬ式は編隊である fact20: もし仮にそのミンクは花色だということはないとすれば「あの猪牙船は子宮内膜癌である」ということは成り立つ fact21: あのＬ式が編隊であるならばそのミンクは編隊だ ; $hypothesis$ = 「そのミンクは子宮内膜癌であるし動転する」ということは嘘である ; $proof$ = 
fact8 & fact10 -> int1: あの猪牙船は花色でなくてかつドルチェだということはない; int1 -> int2: あの猪牙船はドルチェであるということはない; int2 & fact16 -> int3: そのミンクは子宮内膜癌だ; fact19 & fact11 -> int4: あのＬ式は編隊である; fact21 & int4 -> int5: 「そのミンクは編隊である」ということは成り立つ; fact3 -> int6: もし仮にそのミンクが編隊だとしたら動転する; int5 & int6 -> int7: そのミンクは動転する; int3 & int7 -> hypothesis; __DISPROVED__
事実1: そのミンクが編隊でないとすればあのＬ式は子宮内膜癌である
事実2: 仮にあの猪牙船は保管料でないとしたら「子宮内膜癌でないしさらに動転するということはない」ということは誤りだ
事実3: 「編隊は動転する」ということは確かだ
事実4: もし仮にこの三条殿は湿気易くないならば「それは編隊であるし断り難い」ということは事実と異なる
事実5: もしも断り難くないものは威張れるとすれば「編隊でない」ということは確かだ
事実6: 「あの猪牙船は保管料でない」ということは真実だ
事実7: もし仮に「あの猪牙船は子宮内膜癌でない」ということは本当ならば偏り易くないし加えてそれは編隊でない
事実8: あの猪牙船が偏り易くないならばそれは花色でなくてまたドルチェでない
事実9: もしあの猪牙船が動転するならあの償却・引き当ては動転する
事実10: あの猪牙船は偏り易いということはない
事実11: 「「断り難くないが威張れる」ということは事実と異なる」ものはある
事実12: ある物は子宮内膜癌だということはない一方で花色である
事実13: もし仮になにかは威張れるしまた編隊であるとすれば偏り易くない
事実14: もし仮に「編隊でない」ものはあるなら「そのミンクは威張れないけどそれは編隊である」ということは成り立たない
事実15: もしそのミンクが編隊でないとすればあの償却・引き当てはＡ男だし偏り易い
事実16: もしもあの猪牙船がドルチェでないならばそのミンクは子宮内膜癌である
事実17: もし「この三条殿は編隊であるししかも断り難い」ということは嘘だとすればあのＬ式は編隊でない
事実18: 仮に「なにがしかの物は威張れないけれど編隊である」ということは偽であるとすると編隊でない
事実19: 仮に「「「断り難くないし威張れる」ということは真実だ」ということは成り立たない」ものがあるとすればあのＬ式は編隊である
事実20: もし仮にそのミンクは花色だということはないとすれば「あの猪牙船は子宮内膜癌である」ということは成り立つ
事実21: あのＬ式が編隊であるならばそのミンクは編隊だ

仮説: 「そのミンクは子宮内膜癌であるし動転する」ということは嘘である
1. 事実8と事実10から、推論1: "あの猪牙船は花色でなくてかつドルチェだということはない"が導かれる
2. 推論1から、推論2: "あの猪牙船はドルチェであるということはない"が導かれる
3. 推論2と事実16から、推論3: "そのミンクは子宮内膜癌だ"が導かれる
4. 事実19と事実11から、推論4: "あのＬ式は編隊である"が導かれる
5. 事実21と推論4から、推論5: "「そのミンクは編隊である」ということは成り立つ"が導かれる
6. 事実3から、推論6: "もし仮にそのミンクが編隊だとしたら動転する"が導かれる
7. 推論5と推論6から、推論7: "そのミンクは動転する"が導かれる
8. 推論3と推論7から、仮説が否定される

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