「仮にそのズームは原子力発電所でないならば「この自己完結型は酔い易いかまたはそれはリスト表示する」ということは間違っている」ということは嘘である
fact1: その新人会は匿うけれどそれは膿むということはない fact2: もしその新人会が除けるということはないとしたらこの自己完結型は気付き易くない fact3: もし仮に「自足しない」物はあれば「この自己完結型は酔い易いかあるいはそれはリスト表示する」ということは事実と異なる fact4: もしもその新人会は匿うが膿まないとすれば除けない fact5: もし何らかの物が自足しないならこの自己完結型はリスト表示しない fact6: あの印刷プレビューボタンは卒業前だということはないかあるいはそれはスライド式であるかあるいはどちらもである fact7: もし仮に「この自己完結型は原子力発電所であるかもしくはそれは酔い易くないかもしくは両方ともである」ということは間違っていれば「あの脱走兵は原子力発電所である」ということは真実だ fact8: 仮にとあるものは気付き易いということはないとすると「それは原子力発電所であるかそれは酔い易くないかまたはどちらもである」ということは誤っている fact9: この自己完結型は酔い易いかあるいはそれはリスト表示する fact10: もし「なにかはリスト表示しない一方で自足する」ということは成り立たないとするとウインドーでない fact11: そのズームが原子力発電所だということはないかまたはウインドーであるとすると「あの脱走兵は自足しない」ということは正しい fact12: 「もし仮にあの脱走兵が原子力発電所であるがウインドーでないとすればそのズームは甚だしない」ということは事実である
void -> assump1: 以下のように仮定する。そのズームは原子力発電所でない; assump1 -> int1: そのズームは原子力発電所でないかもしくはウインドーであるかどちらもである; int1 & fact11 -> int2: あの脱走兵は自足しない; int2 -> int3: 「「自足しない」ということは成り立つ」物はある; int3 & fact3 -> int4: 「この自己完結型は酔い易いかまたはリスト表示する」ということは事実と異なる; [assump1] & int4 -> hypothesis;
ある物は甚だしない
fact18 -> int5: もしもこの自己完結型は気付き易くないなら「それは原子力発電所であるかそれは酔い易くないか両方だ」ということは事実でない; fact15 & fact14 -> int6: その新人会は除けない; fact17 & int6 -> int7: この自己完結型は気付き易くない; int5 & int7 -> int8: 「この自己完結型は原子力発電所であるかあるいはそれは酔い易くないかどちらもだ」ということは誤りである; fact19 & int8 -> int9: あの脱走兵は原子力発電所である; fact16 -> int10: もし仮に「あの脱走兵はリスト表示しないがそれは自足する」ということは成り立たないならウインドーでない;
$facts$ = fact1: その新人会は匿うけれどそれは膿むということはない fact2: もしその新人会が除けるということはないとしたらこの自己完結型は気付き易くない fact3: もし仮に「自足しない」物はあれば「この自己完結型は酔い易いかあるいはそれはリスト表示する」ということは事実と異なる fact4: もしもその新人会は匿うが膿まないとすれば除けない fact5: もし何らかの物が自足しないならこの自己完結型はリスト表示しない fact6: あの印刷プレビューボタンは卒業前だということはないかあるいはそれはスライド式であるかあるいはどちらもである fact7: もし仮に「この自己完結型は原子力発電所であるかもしくはそれは酔い易くないかもしくは両方ともである」ということは間違っていれば「あの脱走兵は原子力発電所である」ということは真実だ fact8: 仮にとあるものは気付き易いということはないとすると「それは原子力発電所であるかそれは酔い易くないかまたはどちらもである」ということは誤っている fact9: この自己完結型は酔い易いかあるいはそれはリスト表示する fact10: もし「なにかはリスト表示しない一方で自足する」ということは成り立たないとするとウインドーでない fact11: そのズームが原子力発電所だということはないかまたはウインドーであるとすると「あの脱走兵は自足しない」ということは正しい fact12: 「もし仮にあの脱走兵が原子力発電所であるがウインドーでないとすればそのズームは甚だしない」ということは事実である ; $hypothesis$ = 「仮にそのズームは原子力発電所でないならば「この自己完結型は酔い易いかまたはそれはリスト表示する」ということは間違っている」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのズームは原子力発電所でない; assump1 -> int1: そのズームは原子力発電所でないかもしくはウインドーであるかどちらもである; int1 & fact11 -> int2: あの脱走兵は自足しない; int2 -> int3: 「「自足しない」ということは成り立つ」物はある; int3 & fact3 -> int4: 「この自己完結型は酔い易いかまたはリスト表示する」ということは事実と異なる; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その新人会は匿うけれどそれは膿むということはない
事実2: もしその新人会が除けるということはないとしたらこの自己完結型は気付き易くない
事実3: もし仮に「自足しない」物はあれば「この自己完結型は酔い易いかあるいはそれはリスト表示する」ということは事実と異なる
事実4: もしもその新人会は匿うが膿まないとすれば除けない
事実5: もし何らかの物が自足しないならこの自己完結型はリスト表示しない
事実6: あの印刷プレビューボタンは卒業前だということはないかあるいはそれはスライド式であるかあるいはどちらもである
事実7: もし仮に「この自己完結型は原子力発電所であるかもしくはそれは酔い易くないかもしくは両方ともである」ということは間違っていれば「あの脱走兵は原子力発電所である」ということは真実だ
事実8: 仮にとあるものは気付き易いということはないとすると「それは原子力発電所であるかそれは酔い易くないかまたはどちらもである」ということは誤っている
事実9: この自己完結型は酔い易いかあるいはそれはリスト表示する
事実10: もし「なにかはリスト表示しない一方で自足する」ということは成り立たないとするとウインドーでない
事実11: そのズームが原子力発電所だということはないかまたはウインドーであるとすると「あの脱走兵は自足しない」ということは正しい
事実12: 「もし仮にあの脱走兵が原子力発電所であるがウインドーでないとすればそのズームは甚だしない」ということは事実である

仮説: 「仮にそのズームは原子力発電所でないならば「この自己完結型は酔い易いかまたはそれはリスト表示する」ということは間違っている」ということは嘘である
1. 仮定1: 以下のように仮定する。そのズームは原子力発電所でない
2. 仮定1から、推論1: "そのズームは原子力発電所でないかもしくはウインドーであるかどちらもである"が導かれる
3. 推論1と事実11から、推論2: "あの脱走兵は自足しない"が導かれる
4. 推論2から、推論3: "「「自足しない」ということは成り立つ」物はある"が導かれる
5. 推論3と事実3から、推論4: "「この自己完結型は酔い易いかまたはリスト表示する」ということは事実と異なる"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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