その取り引き開始は啜り込まない
fact1: その取り引き開始は吐き散らす fact2: もし仮にこの脱灰が押さえ難くないとすれば眩いし加えて尽くし難い fact3: もしも「この衰弱は尽くし難くないしそれは啜り込まない」ということは事実と異なるとしたらその取り引き開始は啜り込むということはない fact4: 尽くし難い物は説明し難くないし啜り込まない fact5: この大変身は痩せ難くない fact6: もしこの衰弱が眩いがしかし尽くし難くないならその翼型は押さえ難い fact7: もしこの大変身が押さえ難いならばその翼型は説明し難いが眩くない fact8: もしもその取り引き開始が吐き散らすがそれが気付き難くないとしたらこの衰弱は説明し難いということはない fact9: もし仮にこの衰弱が押さえ難くないとすると説明し難いがしかし啜り込まない fact10: もしこの衰弱は説明し難くないなら「それは眩くてそれに尽くし難いということはない」ということは本当だ fact11: 仮に「その翼型は押さえ難い」ということは成り立つとしたらこの大変身は痩せ難い fact12: 仮にその取り引き開始が啜り込むということはないとするとそれは吐き散らすけど気付き難くない
void -> assump1: 以下のように仮定する。その取り引き開始は啜り込まない; fact12 & assump1 -> int1: その取り引き開始は吐き散らす一方で気付き難くない; int1 & fact8 -> int2: この衰弱は説明し難くない; int2 & fact10 -> int3: この衰弱は眩いけれど尽くし難くない; int3 & fact6 -> int4: その翼型は押さえ難い; int4 & fact11 -> int5: 「この大変身は痩せ難い」ということは確かである; int5 & fact5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この脱灰は説明し難くない
fact14 -> int7: もしこの脱灰が尽くし難いとするとそれは説明し難くないしその上啜り込まない;
$facts$ = fact1: その取り引き開始は吐き散らす fact2: もし仮にこの脱灰が押さえ難くないとすれば眩いし加えて尽くし難い fact3: もしも「この衰弱は尽くし難くないしそれは啜り込まない」ということは事実と異なるとしたらその取り引き開始は啜り込むということはない fact4: 尽くし難い物は説明し難くないし啜り込まない fact5: この大変身は痩せ難くない fact6: もしこの衰弱が眩いがしかし尽くし難くないならその翼型は押さえ難い fact7: もしこの大変身が押さえ難いならばその翼型は説明し難いが眩くない fact8: もしもその取り引き開始が吐き散らすがそれが気付き難くないとしたらこの衰弱は説明し難いということはない fact9: もし仮にこの衰弱が押さえ難くないとすると説明し難いがしかし啜り込まない fact10: もしこの衰弱は説明し難くないなら「それは眩くてそれに尽くし難いということはない」ということは本当だ fact11: 仮に「その翼型は押さえ難い」ということは成り立つとしたらこの大変身は痩せ難い fact12: 仮にその取り引き開始が啜り込むということはないとするとそれは吐き散らすけど気付き難くない ; $hypothesis$ = その取り引き開始は啜り込まない ; $proof$ = 
void -> assump1: 以下のように仮定する。その取り引き開始は啜り込まない; fact12 & assump1 -> int1: その取り引き開始は吐き散らす一方で気付き難くない; int1 & fact8 -> int2: この衰弱は説明し難くない; int2 & fact10 -> int3: この衰弱は眩いけれど尽くし難くない; int3 & fact6 -> int4: その翼型は押さえ難い; int4 & fact11 -> int5: 「この大変身は痩せ難い」ということは確かである; int5 & fact5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: その取り引き開始は吐き散らす
事実2: もし仮にこの脱灰が押さえ難くないとすれば眩いし加えて尽くし難い
事実3: もしも「この衰弱は尽くし難くないしそれは啜り込まない」ということは事実と異なるとしたらその取り引き開始は啜り込むということはない
事実4: 尽くし難い物は説明し難くないし啜り込まない
事実5: この大変身は痩せ難くない
事実6: もしこの衰弱が眩いがしかし尽くし難くないならその翼型は押さえ難い
事実7: もしこの大変身が押さえ難いならばその翼型は説明し難いが眩くない
事実8: もしもその取り引き開始が吐き散らすがそれが気付き難くないとしたらこの衰弱は説明し難いということはない
事実9: もし仮にこの衰弱が押さえ難くないとすると説明し難いがしかし啜り込まない
事実10: もしこの衰弱は説明し難くないなら「それは眩くてそれに尽くし難いということはない」ということは本当だ
事実11: 仮に「その翼型は押さえ難い」ということは成り立つとしたらこの大変身は痩せ難い
事実12: 仮にその取り引き開始が啜り込むということはないとするとそれは吐き散らすけど気付き難くない

仮説: その取り引き開始は啜り込まない
1. 仮定1: 以下のように仮定する。その取り引き開始は啜り込まない
2. 事実12と仮定1から、推論1: "その取り引き開始は吐き散らす一方で気付き難くない"が導かれる
3. 推論1と事実8から、推論2: "この衰弱は説明し難くない"が導かれる
4. 推論2と事実10から、推論3: "この衰弱は眩いけれど尽くし難くない"が導かれる
5. 推論3と事実6から、推論4: "その翼型は押さえ難い"が導かれる
6. 推論4と事実11から、推論5: "「この大変身は痩せ難い」ということは確かである"が導かれる
7. 推論5と事実5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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