その祭式はとろ臭くない
fact1: もしその祭式はとろ臭くない一方で通り易いとすると犯し難い fact2: そのワインボトルが通り易くないならばその祭式は一勝しないしそれに乾留しない fact3: この断行論が見窄らしくないとしたらそのワインボトルは通り易くて犯し難い fact4: 仮にこの断行論が皮肉っぽくないならばそれは見窄らしいということはないけど御尽力下さる fact5: 「いがらっぽくない」物があればその何冊は皮肉っぽい fact6: 「一勝する」物があるとするとその祭式は乾留するし更に通り易い fact7: その徴兵制度は御尽力下さる fact8: もし仮に「そのワインボトルは乾留しないが一勝する」ということは誤りだとすればその祭式はとろ臭くない fact9: 「「「後戻り出来るし更に遺伝しない」ということは成り立つ」ということは正しくない」ものはあるとすれば「あの新憲法は遺伝する」ということは本当である fact10: その全戸数はいがらっぽくない fact11: 「その祭式は御尽力下さるか見窄らしい」ということは成り立たない fact12: 「一勝する」物はある fact13: この断行論はとろ臭いならば「そのワインボトルは犯し難くない一方でそれは通り易い」ということは誤っている fact14: もしもなにかは皮肉っぽいとすれば「後戻り出来るが遺伝しない」ということは成り立たない fact15: もしも何らかの物は遺伝するとすれば「このミイラ室は遺伝しない一方で御尽力下さる」ということは嘘だ fact16: その祭式は外部化する fact17: 「何らかの物は御尽力下さるかそれは見窄らしい」ということは誤りなら犯し難いということはない fact18: あの自活は乾留するということはない fact19: もし仮に「何らかのものは遺伝しない一方で御尽力下さる」ということは誤っているとすると「それは御尽力下さらない」ということは確かだ fact20: 仮にその祭式が一勝するということはないしまた乾留しないとするとその基本的枠組みは乾留しない fact21: もしもこのミイラ室が御尽力下さらないとするとこの断行論は見窄らしいしおまけにとろ臭い
fact12 & fact6 -> int1: その祭式は乾留するし通り易い; int1 -> int2: その祭式は通り易い; void -> assump1: 以下のように仮定する。その祭式はとろ臭くない; int2 & assump1 -> int3: その祭式はとろ臭いということはないけれどそれは通り易い; int3 & fact1 -> int4: その祭式は犯し難い; fact17 -> int5: もしも「その祭式は御尽力下さるかあるいは見窄らしいかまたは両方だ」ということは偽であるとしたら犯し難くない; fact11 & int5 -> int6: その祭式は犯し難くない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その基本的枠組みは乾留するということはない
fact31 -> int8: 仮に「このミイラ室は遺伝しないけど御尽力下さる」ということは成り立たないなら御尽力下さらない; fact23 -> int9: その何冊は皮肉っぽいなら「後戻り出来るしそれは遺伝しない」ということは誤っている; fact27 -> int10: 「いがらっぽくない」ものはある; int10 & fact22 -> int11: その何冊は皮肉っぽい; int9 & int11 -> int12: 「その何冊は後戻り出来る一方で遺伝しない」ということは誤りだ; int12 -> int13: 「「後戻り出来るけれど遺伝するということはない」ということは成り立たない」物はある; int13 & fact25 -> int14: あの新憲法は遺伝する; int14 -> int15: 「「遺伝しない」ということは偽な」ものはある; int15 & fact30 -> int16: 「このミイラ室は遺伝しないが御尽力下さる」ということは間違っている; int8 & int16 -> int17: このミイラ室は御尽力下さらない; fact26 & int17 -> int18: この断行論は見窄らしいしそれはとろ臭い; int18 -> int19: 「この断行論はとろ臭い」ということは事実である; fact28 & int19 -> int20: 「そのワインボトルは犯し難くないが通り易い」ということは誤りだ;
$facts$ = fact1: もしその祭式はとろ臭くない一方で通り易いとすると犯し難い fact2: そのワインボトルが通り易くないならばその祭式は一勝しないしそれに乾留しない fact3: この断行論が見窄らしくないとしたらそのワインボトルは通り易くて犯し難い fact4: 仮にこの断行論が皮肉っぽくないならばそれは見窄らしいということはないけど御尽力下さる fact5: 「いがらっぽくない」物があればその何冊は皮肉っぽい fact6: 「一勝する」物があるとするとその祭式は乾留するし更に通り易い fact7: その徴兵制度は御尽力下さる fact8: もし仮に「そのワインボトルは乾留しないが一勝する」ということは誤りだとすればその祭式はとろ臭くない fact9: 「「「後戻り出来るし更に遺伝しない」ということは成り立つ」ということは正しくない」ものはあるとすれば「あの新憲法は遺伝する」ということは本当である fact10: その全戸数はいがらっぽくない fact11: 「その祭式は御尽力下さるか見窄らしい」ということは成り立たない fact12: 「一勝する」物はある fact13: この断行論はとろ臭いならば「そのワインボトルは犯し難くない一方でそれは通り易い」ということは誤っている fact14: もしもなにかは皮肉っぽいとすれば「後戻り出来るが遺伝しない」ということは成り立たない fact15: もしも何らかの物は遺伝するとすれば「このミイラ室は遺伝しない一方で御尽力下さる」ということは嘘だ fact16: その祭式は外部化する fact17: 「何らかの物は御尽力下さるかそれは見窄らしい」ということは誤りなら犯し難いということはない fact18: あの自活は乾留するということはない fact19: もし仮に「何らかのものは遺伝しない一方で御尽力下さる」ということは誤っているとすると「それは御尽力下さらない」ということは確かだ fact20: 仮にその祭式が一勝するということはないしまた乾留しないとするとその基本的枠組みは乾留しない fact21: もしもこのミイラ室が御尽力下さらないとするとこの断行論は見窄らしいしおまけにとろ臭い ; $hypothesis$ = その祭式はとろ臭くない ; $proof$ = 
fact12 & fact6 -> int1: その祭式は乾留するし通り易い; int1 -> int2: その祭式は通り易い; void -> assump1: 以下のように仮定する。その祭式はとろ臭くない; int2 & assump1 -> int3: その祭式はとろ臭いということはないけれどそれは通り易い; int3 & fact1 -> int4: その祭式は犯し難い; fact17 -> int5: もしも「その祭式は御尽力下さるかあるいは見窄らしいかまたは両方だ」ということは偽であるとしたら犯し難くない; fact11 & int5 -> int6: その祭式は犯し難くない; int4 & int6 -> int7: これは矛盾である; [assump1] & 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. 事実12と事実6から、推論1: "その祭式は乾留するし通り易い"が導かれる
2. 推論1から、推論2: "その祭式は通り易い"が導かれる
3. 仮定1: 以下のように仮定する。その祭式はとろ臭くない
4. 推論2と仮定1から、推論3: "その祭式はとろ臭いということはないけれどそれは通り易い"が導かれる
5. 推論3と事実1から、推論4: "その祭式は犯し難い"が導かれる
6. 事実17から、推論5: "もしも「その祭式は御尽力下さるかあるいは見窄らしいかまたは両方だ」ということは偽であるとしたら犯し難くない"が導かれる
7. 事実11と推論5から、推論6: "その祭式は犯し難くない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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