この死屍は初期鉄器時代であるということはない
fact1: 仮になんらかの物は呼ばわりしないとすると「引き始めない一方で白い」ということは成り立たない fact2: 仮にこの吸引チューブが決別しないとするとこの死屍は倒れ難いが微塵でない fact3: 仮に「その逆行型は引き始めないが白い」ということは間違っているとすればあの常圧蒸留は答申するということはない fact4: もし仮に「とある物は謹慎するけれどそれは倒れ難くない」ということは間違いであるとすればそれは剥き始めない fact5: この大事故が謹慎しないけれど呼ばわりするならその逆行型は呼ばわりするということはない fact6: 「謹慎しない」物はある fact7: もし仮に「とある物は倒れ難いけれど微塵でない」ということは正しいとすればそれは初期鉄器時代だ fact8: もし何らかのものは謹慎しないとすれば「その逆行型は謹慎する一方で倒れ難くない」ということは成り立たない fact9: 仮にこの常圧蒸留が白いということはないならその逆行型は剥き始めるし加えてそれは追突する fact10: もしもこの大事故が答申しないならばこの死屍は初期鉄器時代でないしまた呼ばわりしない fact11: もし仮に「この吸引チューブは微塵でなくてその上倒れ難くない」ということは本当でないとすればこの大事故は微塵だ fact12: もしもとあるものが不当利得論でないしおまけに久しということはないとしたら決別するということはない fact13: もしその逆行型が謹慎しないならそれは答申するししかもそれは呼ばわりする fact14: もしもこの常圧蒸留が白いかもしくはそれが引き始めるか両方ともであるとするとこの大事故は答申しない fact15: もしもこの大事故が微塵であるしまたそれが謹慎するとしたらその逆行型は謹慎しない fact16: 仮にその逆行型が答申すればこの常圧蒸留は引き始める
void -> assump1: 以下のように仮定する。この常圧蒸留は白いということはない; fact9 & assump1 -> int1: その逆行型は剥き始めるし追突する; int1 -> int2: その逆行型は剥き始める; fact4 -> int3: 仮に「その逆行型は謹慎するが倒れ難くない」ということは事実と異なるならそれは剥き始めない; fact8 & fact6 -> int4: 「その逆行型は謹慎するけど倒れ難くない」ということは偽だ; int3 & int4 -> int5: その逆行型は剥き始めない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この常圧蒸留は白い; int7 -> int8: この常圧蒸留は白いかもしくは引き始める; int8 & fact14 -> int9: この大事故は答申しない; int9 & fact10 -> int10: この死屍は初期鉄器時代でないしおまけに呼ばわりしない; int10 -> hypothesis;
この常圧蒸留は答申しない
fact18 -> int11: もしもその逆行型は呼ばわりしないとしたら「引き始めるということはないけれど白い」ということは成り立たない; fact20 -> int12: もしこの死屍が倒れ難いけれどそれは微塵でないならそれは初期鉄器時代である; fact22 -> int13: もし仮にこの吸引チューブは不当利得論でなくておまけに久しないなら決別するということはない;
$facts$ = fact1: 仮になんらかの物は呼ばわりしないとすると「引き始めない一方で白い」ということは成り立たない fact2: 仮にこの吸引チューブが決別しないとするとこの死屍は倒れ難いが微塵でない fact3: 仮に「その逆行型は引き始めないが白い」ということは間違っているとすればあの常圧蒸留は答申するということはない fact4: もし仮に「とある物は謹慎するけれどそれは倒れ難くない」ということは間違いであるとすればそれは剥き始めない fact5: この大事故が謹慎しないけれど呼ばわりするならその逆行型は呼ばわりするということはない fact6: 「謹慎しない」物はある fact7: もし仮に「とある物は倒れ難いけれど微塵でない」ということは正しいとすればそれは初期鉄器時代だ fact8: もし何らかのものは謹慎しないとすれば「その逆行型は謹慎する一方で倒れ難くない」ということは成り立たない fact9: 仮にこの常圧蒸留が白いということはないならその逆行型は剥き始めるし加えてそれは追突する fact10: もしもこの大事故が答申しないならばこの死屍は初期鉄器時代でないしまた呼ばわりしない fact11: もし仮に「この吸引チューブは微塵でなくてその上倒れ難くない」ということは本当でないとすればこの大事故は微塵だ fact12: もしもとあるものが不当利得論でないしおまけに久しということはないとしたら決別するということはない fact13: もしその逆行型が謹慎しないならそれは答申するししかもそれは呼ばわりする fact14: もしもこの常圧蒸留が白いかもしくはそれが引き始めるか両方ともであるとするとこの大事故は答申しない fact15: もしもこの大事故が微塵であるしまたそれが謹慎するとしたらその逆行型は謹慎しない fact16: 仮にその逆行型が答申すればこの常圧蒸留は引き始める ; $hypothesis$ = この死屍は初期鉄器時代であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この常圧蒸留は白いということはない; fact9 & assump1 -> int1: その逆行型は剥き始めるし追突する; int1 -> int2: その逆行型は剥き始める; fact4 -> int3: 仮に「その逆行型は謹慎するが倒れ難くない」ということは事実と異なるならそれは剥き始めない; fact8 & fact6 -> int4: 「その逆行型は謹慎するけど倒れ難くない」ということは偽だ; int3 & int4 -> int5: その逆行型は剥き始めない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この常圧蒸留は白い; int7 -> int8: この常圧蒸留は白いかもしくは引き始める; int8 & fact14 -> int9: この大事故は答申しない; int9 & fact10 -> int10: この死屍は初期鉄器時代でないしおまけに呼ばわりしない; int10 -> hypothesis; __PROVED__
事実1: 仮になんらかの物は呼ばわりしないとすると「引き始めない一方で白い」ということは成り立たない
事実2: 仮にこの吸引チューブが決別しないとするとこの死屍は倒れ難いが微塵でない
事実3: 仮に「その逆行型は引き始めないが白い」ということは間違っているとすればあの常圧蒸留は答申するということはない
事実4: もし仮に「とある物は謹慎するけれどそれは倒れ難くない」ということは間違いであるとすればそれは剥き始めない
事実5: この大事故が謹慎しないけれど呼ばわりするならその逆行型は呼ばわりするということはない
事実6: 「謹慎しない」物はある
事実7: もし仮に「とある物は倒れ難いけれど微塵でない」ということは正しいとすればそれは初期鉄器時代だ
事実8: もし何らかのものは謹慎しないとすれば「その逆行型は謹慎する一方で倒れ難くない」ということは成り立たない
事実9: 仮にこの常圧蒸留が白いということはないならその逆行型は剥き始めるし加えてそれは追突する
事実10: もしもこの大事故が答申しないならばこの死屍は初期鉄器時代でないしまた呼ばわりしない
事実11: もし仮に「この吸引チューブは微塵でなくてその上倒れ難くない」ということは本当でないとすればこの大事故は微塵だ
事実12: もしもとあるものが不当利得論でないしおまけに久しということはないとしたら決別するということはない
事実13: もしその逆行型が謹慎しないならそれは答申するししかもそれは呼ばわりする
事実14: もしもこの常圧蒸留が白いかもしくはそれが引き始めるか両方ともであるとするとこの大事故は答申しない
事実15: もしもこの大事故が微塵であるしまたそれが謹慎するとしたらその逆行型は謹慎しない
事実16: 仮にその逆行型が答申すればこの常圧蒸留は引き始める

仮説: この死屍は初期鉄器時代であるということはない
1. 仮定1: 以下のように仮定する。この常圧蒸留は白いということはない
2. 事実9と仮定1から、推論1: "その逆行型は剥き始めるし追突する"が導かれる
3. 推論1から、推論2: "その逆行型は剥き始める"が導かれる
4. 事実4から、推論3: "仮に「その逆行型は謹慎するが倒れ難くない」ということは事実と異なるならそれは剥き始めない"が導かれる
5. 事実8と事実6から、推論4: "「その逆行型は謹慎するけど倒れ難くない」ということは偽だ"が導かれる
6. 推論3と推論4から、推論5: "その逆行型は剥き始めない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この常圧蒸留は白い"が導かれる
9. 推論7から、推論8: "この常圧蒸留は白いかもしくは引き始める"が導かれる
10. 推論8と事実14から、推論9: "この大事故は答申しない"が導かれる
11. 推論9と事実10から、推論10: "この死屍は初期鉄器時代でないしおまけに呼ばわりしない"が導かれる
12. 推論10から、仮説が導かれる

よって、仮説が証明されました。