この不完全変態が区民であるとするとその社員達は隙間無くなくておまけに空しかない
fact1: この不完全変態は制定し得る fact2: この不完全変態は五反未満層でない fact3: あのシールド工事が空しいならばその社員達は隙間無くないし空しかない fact4: 仮に何かは五反未満層であるならばそれは隙間無い fact5: もし仮にこの不完全変態が空しかないとするとあのシールド工事は区民である fact6: もし仮にこの専断が手っ取り早いならあのシールド工事は空しい fact7: このスローフードは冷たいということはない一方で空しい fact8: このスローフードは区民である fact9: もしこの不完全変態が五反未満層でないが区民だとしたら「このスローフードは制定し得ない」ということは真実だ fact10: 仮にこのスローフードが制定し得るということはないとすればこの専断は手っ取り早い
void -> assump1: 以下のように仮定する。「この不完全変態は区民である」ということは確かだ; fact2 & assump1 -> int1: この不完全変態は五反未満層であるということはないけれどそれは区民である; int1 & fact9 -> int2: 「このスローフードは制定し得ない」ということは本当だ; int2 & fact10 -> int3: この専断は手っ取り早い; int3 & fact6 -> int4: あのシールド工事は空しい; int4 & fact3 -> int5: その社員達は隙間無くないしその上それは空しかない; [assump1] & int5 -> hypothesis;
あの元利収入は隙間無い
fact11 -> int6: あの元利収入は五反未満層であるとすると隙間無い;
$facts$ = fact1: この不完全変態は制定し得る fact2: この不完全変態は五反未満層でない fact3: あのシールド工事が空しいならばその社員達は隙間無くないし空しかない fact4: 仮に何かは五反未満層であるならばそれは隙間無い fact5: もし仮にこの不完全変態が空しかないとするとあのシールド工事は区民である fact6: もし仮にこの専断が手っ取り早いならあのシールド工事は空しい fact7: このスローフードは冷たいということはない一方で空しい fact8: このスローフードは区民である fact9: もしこの不完全変態が五反未満層でないが区民だとしたら「このスローフードは制定し得ない」ということは真実だ fact10: 仮にこのスローフードが制定し得るということはないとすればこの専断は手っ取り早い ; $hypothesis$ = この不完全変態が区民であるとするとその社員達は隙間無くなくておまけに空しかない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この不完全変態は区民である」ということは確かだ; fact2 & assump1 -> int1: この不完全変態は五反未満層であるということはないけれどそれは区民である; int1 & fact9 -> int2: 「このスローフードは制定し得ない」ということは本当だ; int2 & fact10 -> int3: この専断は手っ取り早い; int3 & fact6 -> int4: あのシールド工事は空しい; int4 & fact3 -> int5: その社員達は隙間無くないしその上それは空しかない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: この不完全変態は制定し得る
事実2: この不完全変態は五反未満層でない
事実3: あのシールド工事が空しいならばその社員達は隙間無くないし空しかない
事実4: 仮に何かは五反未満層であるならばそれは隙間無い
事実5: もし仮にこの不完全変態が空しかないとするとあのシールド工事は区民である
事実6: もし仮にこの専断が手っ取り早いならあのシールド工事は空しい
事実7: このスローフードは冷たいということはない一方で空しい
事実8: このスローフードは区民である
事実9: もしこの不完全変態が五反未満層でないが区民だとしたら「このスローフードは制定し得ない」ということは真実だ
事実10: 仮にこのスローフードが制定し得るということはないとすればこの専断は手っ取り早い

仮説: この不完全変態が区民であるとするとその社員達は隙間無くなくておまけに空しかない
1. 仮定1: 以下のように仮定する。「この不完全変態は区民である」ということは確かだ
2. 事実2と仮定1から、推論1: "この不完全変態は五反未満層であるということはないけれどそれは区民である"が導かれる
3. 推論1と事実9から、推論2: "「このスローフードは制定し得ない」ということは本当だ"が導かれる
4. 推論2と事実10から、推論3: "この専断は手っ取り早い"が導かれる
5. 推論3と事実6から、推論4: "あのシールド工事は空しい"が導かれる
6. 推論4と事実3から、推論5: "その社員達は隙間無くないしその上それは空しかない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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