「もし仮にその御乗りはもがないとしたら「あの確度は寄与しなくて加えて目覚ましくない」ということは誤りである」ということは偽だ
fact1: もし仮にあの確度が寄与するしそれに目覚ましいならば教授すらない fact2: もし仮にその他種が修理するということはないしさらに非公表でないならその御乗りは後らしい fact3: その御乗りが修理するしそれが教授すればビタミン剤でない fact4: もしその他種は寄与するなら「後らしくないしおまけにビタミン剤でない」ということは成り立たない fact5: 「その他種はもじもじしなくて後らしくない」ということは偽だとしたらその御乗りは寡占化だ fact6: 仮にあの確度は非公表でないとしたら「「その御乗りは寄与しなくてそれに教授すらない」ということは間違いだ」ということは誤りでない fact7: もし仮にあの確度がもぐとするとそれは切ない fact8: 「あの確度は寄与しない一方で目覚ましい」ということは偽だ fact9: もしその御乗りがビタミン剤でないしそれはもぐということはないとしたら「あの確度は切ない」ということは確かである fact10: 仮に「あの確度は切ない」ということは本当なら「それは寄与するが目覚ましくない」ということは成り立たない fact11: もしその御乗りがもがないとするとあの確度は寄与するということはなくてかつ目覚ましくない fact12: あの確度は寄与しなくてまた目覚ましいということはない fact13: もし何かは切ないなら「寄与しないしそれは目覚ましくない」ということは間違いだ fact14: 「「教授すがしかしもじもじしない」ということは嘘な」物はある fact15: その他種は温度変動である fact16: 「その他種はもじもじしないし更に後らしくない」ということは誤りである fact17: もし仮にとある物は非公表であるとすると修理する fact18: もしとあるものが寡占化だとすればそれは教授す fact19: 「「不当利得返還だけど鈍くない」ということは成り立たない」物はある fact20: 「「不当利得返還であるし鈍い」ということは確かでない」物はある fact21: 仮に「「不当利得返還だがしかし鈍くない」ということは事実と異なる」物があるとするとその御乗りは非公表だ
fact19 & fact21 -> int1: その御乗りは非公表だ; fact17 -> int2: その御乗りは非公表であるならばそれは修理する; int1 & int2 -> int3: 「その御乗りは修理する」ということは真実だ; fact5 & fact16 -> int4: その御乗りは寡占化だ; fact18 -> int5: もしその御乗りが寡占化だとしたらそれは教授す; int4 & int5 -> int6: その御乗りは教授す; int3 & int6 -> int7: その御乗りは修理するしそれは教授す; int7 & fact3 -> int8: その御乗りはビタミン剤でない; void -> assump1: 以下のように仮定する。その御乗りはもがない; int8 & assump1 -> int9: その御乗りはビタミン剤でないしかつもがない; int9 & fact9 -> int10: あの確度は切ない; fact13 -> int11: もしあの確度は切ないならば「それは寄与しないしそれに目覚ましくない」ということは間違っている; int10 & int11 -> int12: 「あの確度は寄与しなくてそれに目覚ましくない」ということは成り立たない; [assump1] & int12 -> hypothesis;
$facts$ = fact1: もし仮にあの確度が寄与するしそれに目覚ましいならば教授すらない fact2: もし仮にその他種が修理するということはないしさらに非公表でないならその御乗りは後らしい fact3: その御乗りが修理するしそれが教授すればビタミン剤でない fact4: もしその他種は寄与するなら「後らしくないしおまけにビタミン剤でない」ということは成り立たない fact5: 「その他種はもじもじしなくて後らしくない」ということは偽だとしたらその御乗りは寡占化だ fact6: 仮にあの確度は非公表でないとしたら「「その御乗りは寄与しなくてそれに教授すらない」ということは間違いだ」ということは誤りでない fact7: もし仮にあの確度がもぐとするとそれは切ない fact8: 「あの確度は寄与しない一方で目覚ましい」ということは偽だ fact9: もしその御乗りがビタミン剤でないしそれはもぐということはないとしたら「あの確度は切ない」ということは確かである fact10: 仮に「あの確度は切ない」ということは本当なら「それは寄与するが目覚ましくない」ということは成り立たない fact11: もしその御乗りがもがないとするとあの確度は寄与するということはなくてかつ目覚ましくない fact12: あの確度は寄与しなくてまた目覚ましいということはない fact13: もし何かは切ないなら「寄与しないしそれは目覚ましくない」ということは間違いだ fact14: 「「教授すがしかしもじもじしない」ということは嘘な」物はある fact15: その他種は温度変動である fact16: 「その他種はもじもじしないし更に後らしくない」ということは誤りである fact17: もし仮にとある物は非公表であるとすると修理する fact18: もしとあるものが寡占化だとすればそれは教授す fact19: 「「不当利得返還だけど鈍くない」ということは成り立たない」物はある fact20: 「「不当利得返還であるし鈍い」ということは確かでない」物はある fact21: 仮に「「不当利得返還だがしかし鈍くない」ということは事実と異なる」物があるとするとその御乗りは非公表だ ; $hypothesis$ = 「もし仮にその御乗りはもがないとしたら「あの確度は寄与しなくて加えて目覚ましくない」ということは誤りである」ということは偽だ ; $proof$ = 
fact19 & fact21 -> int1: その御乗りは非公表だ; fact17 -> int2: その御乗りは非公表であるならばそれは修理する; int1 & int2 -> int3: 「その御乗りは修理する」ということは真実だ; fact5 & fact16 -> int4: その御乗りは寡占化だ; fact18 -> int5: もしその御乗りが寡占化だとしたらそれは教授す; int4 & int5 -> int6: その御乗りは教授す; int3 & int6 -> int7: その御乗りは修理するしそれは教授す; int7 & fact3 -> int8: その御乗りはビタミン剤でない; void -> assump1: 以下のように仮定する。その御乗りはもがない; int8 & assump1 -> int9: その御乗りはビタミン剤でないしかつもがない; int9 & fact9 -> int10: あの確度は切ない; fact13 -> int11: もしあの確度は切ないならば「それは寄与しないしそれに目覚ましくない」ということは間違っている; int10 & int11 -> int12: 「あの確度は寄与しなくてそれに目覚ましくない」ということは成り立たない; [assump1] & int12 -> hypothesis; __DISPROVED__
事実1: もし仮にあの確度が寄与するしそれに目覚ましいならば教授すらない
事実2: もし仮にその他種が修理するということはないしさらに非公表でないならその御乗りは後らしい
事実3: その御乗りが修理するしそれが教授すればビタミン剤でない
事実4: もしその他種は寄与するなら「後らしくないしおまけにビタミン剤でない」ということは成り立たない
事実5: 「その他種はもじもじしなくて後らしくない」ということは偽だとしたらその御乗りは寡占化だ
事実6: 仮にあの確度は非公表でないとしたら「「その御乗りは寄与しなくてそれに教授すらない」ということは間違いだ」ということは誤りでない
事実7: もし仮にあの確度がもぐとするとそれは切ない
事実8: 「あの確度は寄与しない一方で目覚ましい」ということは偽だ
事実9: もしその御乗りがビタミン剤でないしそれはもぐということはないとしたら「あの確度は切ない」ということは確かである
事実10: 仮に「あの確度は切ない」ということは本当なら「それは寄与するが目覚ましくない」ということは成り立たない
事実11: もしその御乗りがもがないとするとあの確度は寄与するということはなくてかつ目覚ましくない
事実12: あの確度は寄与しなくてまた目覚ましいということはない
事実13: もし何かは切ないなら「寄与しないしそれは目覚ましくない」ということは間違いだ
事実14: 「「教授すがしかしもじもじしない」ということは嘘な」物はある
事実15: その他種は温度変動である
事実16: 「その他種はもじもじしないし更に後らしくない」ということは誤りである
事実17: もし仮にとある物は非公表であるとすると修理する
事実18: もしとあるものが寡占化だとすればそれは教授す
事実19: 「「不当利得返還だけど鈍くない」ということは成り立たない」物はある
事実20: 「「不当利得返還であるし鈍い」ということは確かでない」物はある
事実21: 仮に「「不当利得返還だがしかし鈍くない」ということは事実と異なる」物があるとするとその御乗りは非公表だ

仮説: 「もし仮にその御乗りはもがないとしたら「あの確度は寄与しなくて加えて目覚ましくない」ということは誤りである」ということは偽だ
1. 事実19と事実21から、推論1: "その御乗りは非公表だ"が導かれる
2. 事実17から、推論2: "その御乗りは非公表であるならばそれは修理する"が導かれる
3. 推論1と推論2から、推論3: "「その御乗りは修理する」ということは真実だ"が導かれる
4. 事実5と事実16から、推論4: "その御乗りは寡占化だ"が導かれる
5. 事実18から、推論5: "もしその御乗りが寡占化だとしたらそれは教授す"が導かれる
6. 推論4と推論5から、推論6: "その御乗りは教授す"が導かれる
7. 推論3と推論6から、推論7: "その御乗りは修理するしそれは教授す"が導かれる
8. 推論7と事実3から、推論8: "その御乗りはビタミン剤でない"が導かれる
9. 仮定1: 以下のように仮定する。その御乗りはもがない
10. 推論8と仮定1から、推論9: "その御乗りはビタミン剤でないしかつもがない"が導かれる
11. 推論9と事実9から、推論10: "あの確度は切ない"が導かれる
12. 事実13から、推論11: "もしあの確度は切ないならば「それは寄与しないしそれに目覚ましくない」ということは間違っている"が導かれる
13. 推論10と推論11から、推論12: "「あの確度は寄与しなくてそれに目覚ましくない」ということは成り立たない"が導かれる
14. [仮定1]と推論12から、仮説が否定される

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