その零零零人は発覚する
fact1: あの空砲は御遺骸だ fact2: 「あの授業は道徳上であるということはない」ということは真実だとしたらそれは古参でない fact3: あの授業が育ち始めるか嵩張るとするとその零零零人は発覚しない fact4: なにがしかのものが嵩張るなら道徳上である fact5: その零零零人は育ち始めるということはない fact6: 仮にとあるものは古参でないとしたらそれは御遺骸だ fact7: もし仮にその零零零人が発覚するかまたは育ち始めるかまたは両方ともだとするとあの授業は嵩張らない fact8: もしもあの授業が嵩張ればその零零零人は発覚するということはない fact9: その零零零人が真っ白くないならば打ち消し合うということはない fact10: もしもこの店全体が私らしくないならばそれは嵩張らない fact11: あの授業は道徳上であるとすれば「発覚しないがしかし古参だ」ということは成り立たない fact12: あの授業は道徳上であるということはない fact13: もしもその零零零人が削減すらないとしたらそれはほろ苦くない fact14: もし仮に何らかのものが御遺骸ならば育ち始める
fact2 & fact12 -> int1: あの授業は古参でない; fact6 -> int2: もしあの授業は古参であるということはないとすれば御遺骸だ; int1 & int2 -> int3: あの授業は御遺骸である; fact14 -> int4: あの授業は御遺骸であるならばそれは育ち始める; int3 & int4 -> int5: あの授業は育ち始める; int5 -> int6: あの授業は育ち始めるかあるいは嵩張るかあるいは両方だ; int6 & fact3 -> hypothesis;
その零零零人は発覚する
$facts$ = fact1: あの空砲は御遺骸だ fact2: 「あの授業は道徳上であるということはない」ということは真実だとしたらそれは古参でない fact3: あの授業が育ち始めるか嵩張るとするとその零零零人は発覚しない fact4: なにがしかのものが嵩張るなら道徳上である fact5: その零零零人は育ち始めるということはない fact6: 仮にとあるものは古参でないとしたらそれは御遺骸だ fact7: もし仮にその零零零人が発覚するかまたは育ち始めるかまたは両方ともだとするとあの授業は嵩張らない fact8: もしもあの授業が嵩張ればその零零零人は発覚するということはない fact9: その零零零人が真っ白くないならば打ち消し合うということはない fact10: もしもこの店全体が私らしくないならばそれは嵩張らない fact11: あの授業は道徳上であるとすれば「発覚しないがしかし古参だ」ということは成り立たない fact12: あの授業は道徳上であるということはない fact13: もしもその零零零人が削減すらないとしたらそれはほろ苦くない fact14: もし仮に何らかのものが御遺骸ならば育ち始める ; $hypothesis$ = その零零零人は発覚する ; $proof$ = 
fact2 & fact12 -> int1: あの授業は古参でない; fact6 -> int2: もしあの授業は古参であるということはないとすれば御遺骸だ; int1 & int2 -> int3: あの授業は御遺骸である; fact14 -> int4: あの授業は御遺骸であるならばそれは育ち始める; int3 & int4 -> int5: あの授業は育ち始める; int5 -> int6: あの授業は育ち始めるかあるいは嵩張るかあるいは両方だ; int6 & fact3 -> hypothesis; __DISPROVED__
事実1: あの空砲は御遺骸だ
事実2: 「あの授業は道徳上であるということはない」ということは真実だとしたらそれは古参でない
事実3: あの授業が育ち始めるか嵩張るとするとその零零零人は発覚しない
事実4: なにがしかのものが嵩張るなら道徳上である
事実5: その零零零人は育ち始めるということはない
事実6: 仮にとあるものは古参でないとしたらそれは御遺骸だ
事実7: もし仮にその零零零人が発覚するかまたは育ち始めるかまたは両方ともだとするとあの授業は嵩張らない
事実8: もしもあの授業が嵩張ればその零零零人は発覚するということはない
事実9: その零零零人が真っ白くないならば打ち消し合うということはない
事実10: もしもこの店全体が私らしくないならばそれは嵩張らない
事実11: あの授業は道徳上であるとすれば「発覚しないがしかし古参だ」ということは成り立たない
事実12: あの授業は道徳上であるということはない
事実13: もしもその零零零人が削減すらないとしたらそれはほろ苦くない
事実14: もし仮に何らかのものが御遺骸ならば育ち始める

仮説: その零零零人は発覚する
1. 事実2と事実12から、推論1: "あの授業は古参でない"が導かれる
2. 事実6から、推論2: "もしあの授業は古参であるということはないとすれば御遺骸だ"が導かれる
3. 推論1と推論2から、推論3: "あの授業は御遺骸である"が導かれる
4. 事実14から、推論4: "あの授業は御遺骸であるならばそれは育ち始める"が導かれる
5. 推論3と推論4から、推論5: "あの授業は育ち始める"が導かれる
6. 推論5から、推論6: "あの授業は育ち始めるかあるいは嵩張るかあるいは両方だ"が導かれる
7. 推論6と事実3から、仮説が否定される

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