あのメーンはモロ族だ
fact1: なにがしかの物が見限ればそれは崩し易くない fact2: あるものが崩し易くないしそれがスクープしないとしたらそれはモロ族である fact3: もしもあのメーンは崩し易いけれどスクープしないとしたらモロ族である fact4: 「その光検出器は信頼度でないかあるいは崩し易いかどちらもだ」ということは成り立たないとすればあのメーンはスクープしない fact5: あるものが見限れば崩し易くないしかつスクープしない fact6: 「この軍将校は崩し易くない」ということは真実である fact7: 仮に「その光検出器は信頼度でない」ということは成り立つとしたら「それは試算出来るということはないけど香ばしい」ということは偽である fact8: 「その光検出器は信頼度でない」ということは真実だ fact9: もし仮にあのメーンが見限らないならその光検出器は試算出来ない一方で香ばしい
void -> assump1: 以下のように仮定する。あのメーンは見限るということはない; fact9 & assump1 -> int1: その光検出器は試算出来ないけど香ばしい; fact7 & fact8 -> int2: 「その光検出器は試算出来ない一方で香ばしい」ということは偽だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのメーンは見限る; fact5 -> int5: もしもあのメーンが見限るとしたら崩し易くないしその上スクープしない; int4 & int5 -> int6: あのメーンは崩し易いということはなくてスクープしない; fact2 -> int7: もし仮にあのメーンが崩し易くないしそれにスクープしないとしたらそれはモロ族である; int6 & int7 -> hypothesis;
「あのメーンはモロ族であるということはない」ということは間違いでない
$facts$ = fact1: なにがしかの物が見限ればそれは崩し易くない fact2: あるものが崩し易くないしそれがスクープしないとしたらそれはモロ族である fact3: もしもあのメーンは崩し易いけれどスクープしないとしたらモロ族である fact4: 「その光検出器は信頼度でないかあるいは崩し易いかどちらもだ」ということは成り立たないとすればあのメーンはスクープしない fact5: あるものが見限れば崩し易くないしかつスクープしない fact6: 「この軍将校は崩し易くない」ということは真実である fact7: 仮に「その光検出器は信頼度でない」ということは成り立つとしたら「それは試算出来るということはないけど香ばしい」ということは偽である fact8: 「その光検出器は信頼度でない」ということは真実だ fact9: もし仮にあのメーンが見限らないならその光検出器は試算出来ない一方で香ばしい ; $hypothesis$ = あのメーンはモロ族だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのメーンは見限るということはない; fact9 & assump1 -> int1: その光検出器は試算出来ないけど香ばしい; fact7 & fact8 -> int2: 「その光検出器は試算出来ない一方で香ばしい」ということは偽だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのメーンは見限る; fact5 -> int5: もしもあのメーンが見限るとしたら崩し易くないしその上スクープしない; int4 & int5 -> int6: あのメーンは崩し易いということはなくてスクープしない; fact2 -> int7: もし仮にあのメーンが崩し易くないしそれにスクープしないとしたらそれはモロ族である; int6 & int7 -> hypothesis; __PROVED__
事実1: なにがしかの物が見限ればそれは崩し易くない
事実2: あるものが崩し易くないしそれがスクープしないとしたらそれはモロ族である
事実3: もしもあのメーンは崩し易いけれどスクープしないとしたらモロ族である
事実4: 「その光検出器は信頼度でないかあるいは崩し易いかどちらもだ」ということは成り立たないとすればあのメーンはスクープしない
事実5: あるものが見限れば崩し易くないしかつスクープしない
事実6: 「この軍将校は崩し易くない」ということは真実である
事実7: 仮に「その光検出器は信頼度でない」ということは成り立つとしたら「それは試算出来るということはないけど香ばしい」ということは偽である
事実8: 「その光検出器は信頼度でない」ということは真実だ
事実9: もし仮にあのメーンが見限らないならその光検出器は試算出来ない一方で香ばしい

仮説: あのメーンはモロ族だ
1. 仮定1: 以下のように仮定する。あのメーンは見限るということはない
2. 事実9と仮定1から、推論1: "その光検出器は試算出来ないけど香ばしい"が導かれる
3. 事実7と事実8から、推論2: "「その光検出器は試算出来ない一方で香ばしい」ということは偽だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのメーンは見限る"が導かれる
6. 事実5から、推論5: "もしもあのメーンが見限るとしたら崩し易くないしその上スクープしない"が導かれる
7. 推論4と推論5から、推論6: "あのメーンは崩し易いということはなくてスクープしない"が導かれる
8. 事実2から、推論7: "もし仮にあのメーンが崩し易くないしそれにスクープしないとしたらそれはモロ族である"が導かれる
9. 推論6と推論7から、仮説が導かれる

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