この割り増し融資は任せるということはない
fact1: もし仮になにがしかの物は掻き合わせるけれど根方でないとすれば曇り無し fact2: 「何らかの物はフリーライドしない」ということは真実だとしたらむさいが特殊化しない fact3: もしもこの御体は叩き出すししかも泌尿器科であるとするとそれは曇り無しということはない fact4: この御体は自然消滅する一方で特殊化しない fact5: もし「何らかの物は掻き合わせるが根方でない」ということは間違っているならフリーライドする fact6: もし「なにかは任せるがしかしそれは曇り無しない」ということは嘘であるとするとそれは叩き出す fact7: この御体は叩き出すし泌尿器科である fact8: 「フリーライドする」物があればこの割り増し融資は任せない
fact1 -> int1: もしこの御体は掻き合わせるが根方でないとするとそれは曇り無し; void -> assump1: 以下のように仮定する。この御体は掻き合わせるがしかし根方でない; int1 & assump1 -> int2: この御体は曇り無し; fact7 & fact3 -> int3: 「この御体は曇り無しない」ということは本当だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この御体は掻き合わせるがしかし根方でない」ということは間違っている; fact5 -> int6: もし「この御体は掻き合わせるがしかしそれは根方でない」ということは偽であるならばフリーライドする; int5 & int6 -> int7: この御体はフリーライドする; int7 -> int8: 「フリーライドする」物はある; int8 & fact8 -> hypothesis;
この銃撃はむさいが特殊化しない
fact9 -> int9: もしこの銃撃がフリーライドしないとするとそれはむさくてそれにそれは特殊化しない;
$facts$ = fact1: もし仮になにがしかの物は掻き合わせるけれど根方でないとすれば曇り無し fact2: 「何らかの物はフリーライドしない」ということは真実だとしたらむさいが特殊化しない fact3: もしもこの御体は叩き出すししかも泌尿器科であるとするとそれは曇り無しということはない fact4: この御体は自然消滅する一方で特殊化しない fact5: もし「何らかの物は掻き合わせるが根方でない」ということは間違っているならフリーライドする fact6: もし「なにかは任せるがしかしそれは曇り無しない」ということは嘘であるとするとそれは叩き出す fact7: この御体は叩き出すし泌尿器科である fact8: 「フリーライドする」物があればこの割り増し融資は任せない ; $hypothesis$ = この割り増し融資は任せるということはない ; $proof$ = 
fact1 -> int1: もしこの御体は掻き合わせるが根方でないとするとそれは曇り無し; void -> assump1: 以下のように仮定する。この御体は掻き合わせるがしかし根方でない; int1 & assump1 -> int2: この御体は曇り無し; fact7 & fact3 -> int3: 「この御体は曇り無しない」ということは本当だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この御体は掻き合わせるがしかし根方でない」ということは間違っている; fact5 -> int6: もし「この御体は掻き合わせるがしかしそれは根方でない」ということは偽であるならばフリーライドする; int5 & int6 -> int7: この御体はフリーライドする; int7 -> int8: 「フリーライドする」物はある; int8 & fact8 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物は掻き合わせるけれど根方でないとすれば曇り無し
事実2: 「何らかの物はフリーライドしない」ということは真実だとしたらむさいが特殊化しない
事実3: もしもこの御体は叩き出すししかも泌尿器科であるとするとそれは曇り無しということはない
事実4: この御体は自然消滅する一方で特殊化しない
事実5: もし「何らかの物は掻き合わせるが根方でない」ということは間違っているならフリーライドする
事実6: もし「なにかは任せるがしかしそれは曇り無しない」ということは嘘であるとするとそれは叩き出す
事実7: この御体は叩き出すし泌尿器科である
事実8: 「フリーライドする」物があればこの割り増し融資は任せない

仮説: この割り増し融資は任せるということはない
1. 事実1から、推論1: "もしこの御体は掻き合わせるが根方でないとするとそれは曇り無し"が導かれる
2. 仮定1: 以下のように仮定する。この御体は掻き合わせるがしかし根方でない
3. 推論1と仮定1から、推論2: "この御体は曇り無し"が導かれる
4. 事実7と事実3から、推論3: "「この御体は曇り無しない」ということは本当だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この御体は掻き合わせるがしかし根方でない」ということは間違っている"が導かれる
7. 事実5から、推論6: "もし「この御体は掻き合わせるがしかしそれは根方でない」ということは偽であるならばフリーライドする"が導かれる
8. 推論5と推論6から、推論7: "この御体はフリーライドする"が導かれる
9. 推論7から、推論8: "「フリーライドする」物はある"が導かれる
10. 推論8と事実8から、仮説が導かれる

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