「あの明生達は下令するし急性発作だ」ということは事実であるということはない
fact1: もしもこの鈍行が御知らせするならあの税理は魔法使い達である fact2: その胃液は御出で頂くしかつ軽い fact3: もし仮になんらかの物は饂飩でないならば「下令するしかつそれは急性発作だ」ということは本当でない fact4: もし何かは書き易いとすれば「あの明生達は書き易くないけどそれは緩み易い」ということは事実でない fact5: この鈍行は生き辛い fact6: 「あの税理は急性発作である」ということは事実だ fact7: 仮に「あの明生達は緩み易くないが書き易い」ということは間違いならばそれは急性発作だ fact8: もし仮にそのシリンジが生き辛くないか緩み易いかもしくは両方ともなら「それは緩み易い」ということは真実である fact9: そのシリンジは生き辛くないかもしくは緩み易い fact10: その外国法人税が達成し易いとしたらあの明生達は下令する fact11: 「あの明生達は御知らせしないが魔法使い達である」ということは成り立たないなら書き易い fact12: 緩み易いものはあるとしたら「その外国法人税は緩み易くない一方で達成し易い」ということは成り立つということはない fact13: あの税理は生き辛い fact14: もし仮にあの税理が魔法使い達だとしたらその外国法人税は達成し易い fact15: 「この鈍行は御知らせするしさらにそれは下令する」ということは成り立たない fact16: そのシリンジは魔法使い達でないか緩み易いか両方である fact17: もしも緩み易いものはあるとしたら「あの明生達は緩み易くないが書き易い」ということは間違いである fact18: この鈍行は饂飩であるし御知らせする
fact18 -> int1: この鈍行は御知らせする; int1 & fact1 -> int2: 「あの税理は魔法使い達だ」ということは成り立つ; int2 & fact14 -> int3: その外国法人税は達成し易い; int3 & fact10 -> int4: あの明生達は下令する; fact9 & fact8 -> int5: そのシリンジは緩み易い; int5 -> int6: 「「緩み易い」ということは成り立つ」物はある; int6 & fact17 -> int7: 「あの明生達は緩み易くないが書き易い」ということは成り立つということはない; fact7 & int7 -> int8: あの明生達は急性発作だ; int4 & int8 -> hypothesis;
「あの明生達は下令するしさらに急性発作である」ということは事実と異なる
fact19 -> int9: もしもあの明生達は饂飩でないとすると「下令するしそれは急性発作だ」ということは成り立たない;
$facts$ = fact1: もしもこの鈍行が御知らせするならあの税理は魔法使い達である fact2: その胃液は御出で頂くしかつ軽い fact3: もし仮になんらかの物は饂飩でないならば「下令するしかつそれは急性発作だ」ということは本当でない fact4: もし何かは書き易いとすれば「あの明生達は書き易くないけどそれは緩み易い」ということは事実でない fact5: この鈍行は生き辛い fact6: 「あの税理は急性発作である」ということは事実だ fact7: 仮に「あの明生達は緩み易くないが書き易い」ということは間違いならばそれは急性発作だ fact8: もし仮にそのシリンジが生き辛くないか緩み易いかもしくは両方ともなら「それは緩み易い」ということは真実である fact9: そのシリンジは生き辛くないかもしくは緩み易い fact10: その外国法人税が達成し易いとしたらあの明生達は下令する fact11: 「あの明生達は御知らせしないが魔法使い達である」ということは成り立たないなら書き易い fact12: 緩み易いものはあるとしたら「その外国法人税は緩み易くない一方で達成し易い」ということは成り立つということはない fact13: あの税理は生き辛い fact14: もし仮にあの税理が魔法使い達だとしたらその外国法人税は達成し易い fact15: 「この鈍行は御知らせするしさらにそれは下令する」ということは成り立たない fact16: そのシリンジは魔法使い達でないか緩み易いか両方である fact17: もしも緩み易いものはあるとしたら「あの明生達は緩み易くないが書き易い」ということは間違いである fact18: この鈍行は饂飩であるし御知らせする ; $hypothesis$ = 「あの明生達は下令するし急性発作だ」ということは事実であるということはない ; $proof$ = 
fact18 -> int1: この鈍行は御知らせする; int1 & fact1 -> int2: 「あの税理は魔法使い達だ」ということは成り立つ; int2 & fact14 -> int3: その外国法人税は達成し易い; int3 & fact10 -> int4: あの明生達は下令する; fact9 & fact8 -> int5: そのシリンジは緩み易い; int5 -> int6: 「「緩み易い」ということは成り立つ」物はある; int6 & fact17 -> int7: 「あの明生達は緩み易くないが書き易い」ということは成り立つということはない; fact7 & int7 -> int8: あの明生達は急性発作だ; int4 & int8 -> hypothesis; __DISPROVED__
事実1: もしもこの鈍行が御知らせするならあの税理は魔法使い達である
事実2: その胃液は御出で頂くしかつ軽い
事実3: もし仮になんらかの物は饂飩でないならば「下令するしかつそれは急性発作だ」ということは本当でない
事実4: もし何かは書き易いとすれば「あの明生達は書き易くないけどそれは緩み易い」ということは事実でない
事実5: この鈍行は生き辛い
事実6: 「あの税理は急性発作である」ということは事実だ
事実7: 仮に「あの明生達は緩み易くないが書き易い」ということは間違いならばそれは急性発作だ
事実8: もし仮にそのシリンジが生き辛くないか緩み易いかもしくは両方ともなら「それは緩み易い」ということは真実である
事実9: そのシリンジは生き辛くないかもしくは緩み易い
事実10: その外国法人税が達成し易いとしたらあの明生達は下令する
事実11: 「あの明生達は御知らせしないが魔法使い達である」ということは成り立たないなら書き易い
事実12: 緩み易いものはあるとしたら「その外国法人税は緩み易くない一方で達成し易い」ということは成り立つということはない
事実13: あの税理は生き辛い
事実14: もし仮にあの税理が魔法使い達だとしたらその外国法人税は達成し易い
事実15: 「この鈍行は御知らせするしさらにそれは下令する」ということは成り立たない
事実16: そのシリンジは魔法使い達でないか緩み易いか両方である
事実17: もしも緩み易いものはあるとしたら「あの明生達は緩み易くないが書き易い」ということは間違いである
事実18: この鈍行は饂飩であるし御知らせする

仮説: 「あの明生達は下令するし急性発作だ」ということは事実であるということはない
1. 事実18から、推論1: "この鈍行は御知らせする"が導かれる
2. 推論1と事実1から、推論2: "「あの税理は魔法使い達だ」ということは成り立つ"が導かれる
3. 推論2と事実14から、推論3: "その外国法人税は達成し易い"が導かれる
4. 推論3と事実10から、推論4: "あの明生達は下令する"が導かれる
5. 事実9と事実8から、推論5: "そのシリンジは緩み易い"が導かれる
6. 推論5から、推論6: "「「緩み易い」ということは成り立つ」物はある"が導かれる
7. 推論6と事実17から、推論7: "「あの明生達は緩み易くないが書き易い」ということは成り立つということはない"が導かれる
8. 事実7と推論7から、推論8: "あの明生達は急性発作だ"が導かれる
9. 推論4と推論8から、仮説が否定される

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