「「その出産祝いは世知辛くなくてそれに追っ払うということはない」ということは真実だ」ということは事実と異なる
fact1: もしも「なにかは南西諸島だ一方でめんどくない」ということは嘘であるとしたら入射しない fact2: 仮にこの異種金属が入射しないとしたらその出産祝いは晴れがましいしかつそれは伸展する fact3: 仮に「伸展しない」物があるとするとその出産祝いは追っ払わない fact4: もしもこの異種金属が怖ーいとしたらこのアルコール関連脳器質障害は衣冠である fact5: 「その出願番号は表書きする」ということは確かである fact6: もし仮に何かは衣冠でないなら怖ーいし表書きする fact7: もしこの異種金属が易しくないけれど聖書ならばこの事務部門は表書きしない fact8: この異種金属が怖ーくないとしたらそれは易しくない一方で聖書だ fact9: 「この事務部門は表書きする」ということは確かである fact10: もし「「伸展するし追っ払う」ということは誤りである」ものがあるとしたらその出産祝いは追っ払うということはない fact11: なにかは怖ーいとすれば「それは世知辛くなくて追っ払わない」ということは事実でない fact12: もしも「この異種金属は怖ーくない」ということは成り立つとすれば聖書である fact13: この異種金属は聖書だ fact14: 「あの期待度数は伸展するしかつ追っ払う」ということは成り立たない fact15: もしとあるものは未練がましいとしたら「南西諸島であるけれどめんどいということはない」ということは間違っている fact16: もしもこのアルコール関連脳器質障害が衣冠であるかあるいは晴れがましいかどちらもであるならばその出産祝いは世知辛くない fact17: もし晴れがましいものが伸展するとしたら衣冠でない
void -> assump1: 以下のように仮定する。この異種金属は怖ーくない; fact8 & assump1 -> int1: この異種金属は易しくないが聖書だ; int1 & fact7 -> int2: この事務部門は表書きしない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: この異種金属は怖ーい; int4 & fact4 -> int5: このアルコール関連脳器質障害は衣冠だ; int5 -> int6: このアルコール関連脳器質障害は衣冠であるかまたは晴れがましいかもしくはどちらもだ; int6 & fact16 -> int7: その出産祝いは世知辛くない; fact14 -> int8: 「「伸展するしおまけに追っ払う」ということは偽な」物はある; fact10 & int8 -> int9: その出産祝いは追っ払わない; int7 & int9 -> hypothesis;
「その出産祝いは世知辛くないしかつそれは追っ払わない」ということは偽だ
fact19 -> int10: もし仮にその出産祝いは怖ーいなら「それは世知辛くなくて追っ払わない」ということは嘘である; fact23 -> int11: もし仮にその出産祝いが衣冠でないなら怖ーいし表書きする; fact18 -> int12: 「もしその出産祝いは晴れがましいし伸展するなら「その出産祝いは衣冠でない」ということは成り立つ」ということは成り立つ; fact22 -> int13: もし「この異種金属は南西諸島であるけどめんどくない」ということは嘘であるとすれば入射しない; fact21 -> int14: もし仮に「この異種金属は未練がましい」ということは成り立つとしたら「それは南西諸島だけどめんどくない」ということは偽だ;
$facts$ = fact1: もしも「なにかは南西諸島だ一方でめんどくない」ということは嘘であるとしたら入射しない fact2: 仮にこの異種金属が入射しないとしたらその出産祝いは晴れがましいしかつそれは伸展する fact3: 仮に「伸展しない」物があるとするとその出産祝いは追っ払わない fact4: もしもこの異種金属が怖ーいとしたらこのアルコール関連脳器質障害は衣冠である fact5: 「その出願番号は表書きする」ということは確かである fact6: もし仮に何かは衣冠でないなら怖ーいし表書きする fact7: もしこの異種金属が易しくないけれど聖書ならばこの事務部門は表書きしない fact8: この異種金属が怖ーくないとしたらそれは易しくない一方で聖書だ fact9: 「この事務部門は表書きする」ということは確かである fact10: もし「「伸展するし追っ払う」ということは誤りである」ものがあるとしたらその出産祝いは追っ払うということはない fact11: なにかは怖ーいとすれば「それは世知辛くなくて追っ払わない」ということは事実でない fact12: もしも「この異種金属は怖ーくない」ということは成り立つとすれば聖書である fact13: この異種金属は聖書だ fact14: 「あの期待度数は伸展するしかつ追っ払う」ということは成り立たない fact15: もしとあるものは未練がましいとしたら「南西諸島であるけれどめんどいということはない」ということは間違っている fact16: もしもこのアルコール関連脳器質障害が衣冠であるかあるいは晴れがましいかどちらもであるならばその出産祝いは世知辛くない fact17: もし晴れがましいものが伸展するとしたら衣冠でない ; $hypothesis$ = 「「その出産祝いは世知辛くなくてそれに追っ払うということはない」ということは真実だ」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。この異種金属は怖ーくない; fact8 & assump1 -> int1: この異種金属は易しくないが聖書だ; int1 & fact7 -> int2: この事務部門は表書きしない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: この異種金属は怖ーい; int4 & fact4 -> int5: このアルコール関連脳器質障害は衣冠だ; int5 -> int6: このアルコール関連脳器質障害は衣冠であるかまたは晴れがましいかもしくはどちらもだ; int6 & fact16 -> int7: その出産祝いは世知辛くない; fact14 -> int8: 「「伸展するしおまけに追っ払う」ということは偽な」物はある; fact10 & int8 -> int9: その出産祝いは追っ払わない; int7 & int9 -> hypothesis; __DISPROVED__
事実1: もしも「なにかは南西諸島だ一方でめんどくない」ということは嘘であるとしたら入射しない
事実2: 仮にこの異種金属が入射しないとしたらその出産祝いは晴れがましいしかつそれは伸展する
事実3: 仮に「伸展しない」物があるとするとその出産祝いは追っ払わない
事実4: もしもこの異種金属が怖ーいとしたらこのアルコール関連脳器質障害は衣冠である
事実5: 「その出願番号は表書きする」ということは確かである
事実6: もし仮に何かは衣冠でないなら怖ーいし表書きする
事実7: もしこの異種金属が易しくないけれど聖書ならばこの事務部門は表書きしない
事実8: この異種金属が怖ーくないとしたらそれは易しくない一方で聖書だ
事実9: 「この事務部門は表書きする」ということは確かである
事実10: もし「「伸展するし追っ払う」ということは誤りである」ものがあるとしたらその出産祝いは追っ払うということはない
事実11: なにかは怖ーいとすれば「それは世知辛くなくて追っ払わない」ということは事実でない
事実12: もしも「この異種金属は怖ーくない」ということは成り立つとすれば聖書である
事実13: この異種金属は聖書だ
事実14: 「あの期待度数は伸展するしかつ追っ払う」ということは成り立たない
事実15: もしとあるものは未練がましいとしたら「南西諸島であるけれどめんどいということはない」ということは間違っている
事実16: もしもこのアルコール関連脳器質障害が衣冠であるかあるいは晴れがましいかどちらもであるならばその出産祝いは世知辛くない
事実17: もし晴れがましいものが伸展するとしたら衣冠でない

仮説: 「「その出産祝いは世知辛くなくてそれに追っ払うということはない」ということは真実だ」ということは事実と異なる
1. 仮定1: 以下のように仮定する。この異種金属は怖ーくない
2. 事実8と仮定1から、推論1: "この異種金属は易しくないが聖書だ"が導かれる
3. 推論1と事実7から、推論2: "この事務部門は表書きしない"が導かれる
4. 推論2と事実9から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この異種金属は怖ーい"が導かれる
6. 推論4と事実4から、推論5: "このアルコール関連脳器質障害は衣冠だ"が導かれる
7. 推論5から、推論6: "このアルコール関連脳器質障害は衣冠であるかまたは晴れがましいかもしくはどちらもだ"が導かれる
8. 推論6と事実16から、推論7: "その出産祝いは世知辛くない"が導かれる
9. 事実14から、推論8: "「「伸展するしおまけに追っ払う」ということは偽な」物はある"が導かれる
10. 事実10と推論8から、推論9: "その出産祝いは追っ払わない"が導かれる
11. 推論7と推論9から、仮説が否定される

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