あの株券不発行は習熟しない
fact1: もしなにがしかのものが鬼王だししかも恐ろしいならば習熟しない fact2: 仮にとある物は鬼王でないならば「灯し難いかまたはそれは美味しかないかもしくはどちらもである」ということは成り立たない fact3: 仮に「その決定機関は灯し難いかあるいは美味しかない」ということは成り立つということはないならばあの株券不発行は恐ろしい fact4: 「あの巨石建造物は商業印刷会社でなくて筆録しない」ということは本当であるということはない fact5: もしも「「あの巨石建造物は商業印刷会社でないしそれに筆録しない」ということは事実と異なる」ということは事実と異ならないとするとその決定機関は鬼王でない fact6: もしあの巨石建造物は複写するとすれば「獅子吼する」ということは確かだ fact7: もしもあの株券不発行が複写するならそれは習熟する fact8: もしあの株券不発行が恐ろしいかあるいはそれは獅子吼しないか両方ともであるなら複写する
fact2 -> int1: 仮にその決定機関は鬼王でないとすると「灯し難いかもしくは美味しかない」ということは偽である; fact5 & fact4 -> int2: その決定機関は鬼王でない; int1 & int2 -> int3: 「その決定機関は灯し難いか美味しいということはないかまたは両方ともである」ということは誤りだ; int3 & fact3 -> int4: あの株券不発行は恐ろしい; int4 -> int5: あの株券不発行は恐ろしいかもしくはそれは獅子吼しないかあるいは両方ともである; int5 & fact8 -> int6: あの株券不発行は複写する; int6 & fact7 -> hypothesis;
あの株券不発行は習熟しない
fact10 -> int7: あの株券不発行は鬼王で恐ろしいとすると習熟しない;
$facts$ = fact1: もしなにがしかのものが鬼王だししかも恐ろしいならば習熟しない fact2: 仮にとある物は鬼王でないならば「灯し難いかまたはそれは美味しかないかもしくはどちらもである」ということは成り立たない fact3: 仮に「その決定機関は灯し難いかあるいは美味しかない」ということは成り立つということはないならばあの株券不発行は恐ろしい fact4: 「あの巨石建造物は商業印刷会社でなくて筆録しない」ということは本当であるということはない fact5: もしも「「あの巨石建造物は商業印刷会社でないしそれに筆録しない」ということは事実と異なる」ということは事実と異ならないとするとその決定機関は鬼王でない fact6: もしあの巨石建造物は複写するとすれば「獅子吼する」ということは確かだ fact7: もしもあの株券不発行が複写するならそれは習熟する fact8: もしあの株券不発行が恐ろしいかあるいはそれは獅子吼しないか両方ともであるなら複写する ; $hypothesis$ = あの株券不発行は習熟しない ; $proof$ = 
fact2 -> int1: 仮にその決定機関は鬼王でないとすると「灯し難いかもしくは美味しかない」ということは偽である; fact5 & fact4 -> int2: その決定機関は鬼王でない; int1 & int2 -> int3: 「その決定機関は灯し難いか美味しいということはないかまたは両方ともである」ということは誤りだ; int3 & fact3 -> int4: あの株券不発行は恐ろしい; int4 -> int5: あの株券不発行は恐ろしいかもしくはそれは獅子吼しないかあるいは両方ともである; int5 & fact8 -> int6: あの株券不発行は複写する; int6 & fact7 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものが鬼王だししかも恐ろしいならば習熟しない
事実2: 仮にとある物は鬼王でないならば「灯し難いかまたはそれは美味しかないかもしくはどちらもである」ということは成り立たない
事実3: 仮に「その決定機関は灯し難いかあるいは美味しかない」ということは成り立つということはないならばあの株券不発行は恐ろしい
事実4: 「あの巨石建造物は商業印刷会社でなくて筆録しない」ということは本当であるということはない
事実5: もしも「「あの巨石建造物は商業印刷会社でないしそれに筆録しない」ということは事実と異なる」ということは事実と異ならないとするとその決定機関は鬼王でない
事実6: もしあの巨石建造物は複写するとすれば「獅子吼する」ということは確かだ
事実7: もしもあの株券不発行が複写するならそれは習熟する
事実8: もしあの株券不発行が恐ろしいかあるいはそれは獅子吼しないか両方ともであるなら複写する

仮説: あの株券不発行は習熟しない
1. 事実2から、推論1: "仮にその決定機関は鬼王でないとすると「灯し難いかもしくは美味しかない」ということは偽である"が導かれる
2. 事実5と事実4から、推論2: "その決定機関は鬼王でない"が導かれる
3. 推論1と推論2から、推論3: "「その決定機関は灯し難いか美味しいということはないかまたは両方ともである」ということは誤りだ"が導かれる
4. 推論3と事実3から、推論4: "あの株券不発行は恐ろしい"が導かれる
5. 推論4から、推論5: "あの株券不発行は恐ろしいかもしくはそれは獅子吼しないかあるいは両方ともである"が導かれる
6. 推論5と事実8から、推論6: "あの株券不発行は複写する"が導かれる
7. 推論6と事実7から、仮説が否定される

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