その自発的離職は漏れ聞かない
fact1: 何かは維持・強化でない fact2: もしも「その自発的離職は結い上げる」ということは本当であるとするとそれは漏れ聞かない fact3: もしもその自発的離職が指導監督基準であるかまたは駐輪場だとすれば結い上げない fact4: すべてのものは丸呑みするということはないし膨潤しない fact5: 仮に何らかの物は丸呑みすれば「漏れ聞く」ということは誤っていない fact6: この見習い士官は一体性・協同性であるかもしくはそれは活用し易いかあるいは両方ともである fact7: もしも何らかの物が丸呑みしないしさらに膨潤しないならばあの自発的離職は荒振る fact8: なにがしかの物は漏れ聞かない fact9: 「もし仮にその自発的離職が荒振るかまたはそれが結い上げるとしたらその自発的離職は漏れ聞くということはない」ということは確かだ
fact4 -> int1: あの配分割合は丸呑みするということはないしそれは膨潤しない; int1 -> int2: 「何らかのものは丸呑みしないし膨潤しない」ということは真実だ; int2 & fact7 -> int3: その自発的離職は荒振る; int3 -> int4: その自発的離職は荒振るかもしくは結い上げるか両方である; int4 & fact9 -> hypothesis;
その自発的離職は漏れ聞く
fact10 -> int5: その自発的離職が丸呑みするとするとそれは漏れ聞く;
$facts$ = fact1: 何かは維持・強化でない fact2: もしも「その自発的離職は結い上げる」ということは本当であるとするとそれは漏れ聞かない fact3: もしもその自発的離職が指導監督基準であるかまたは駐輪場だとすれば結い上げない fact4: すべてのものは丸呑みするということはないし膨潤しない fact5: 仮に何らかの物は丸呑みすれば「漏れ聞く」ということは誤っていない fact6: この見習い士官は一体性・協同性であるかもしくはそれは活用し易いかあるいは両方ともである fact7: もしも何らかの物が丸呑みしないしさらに膨潤しないならばあの自発的離職は荒振る fact8: なにがしかの物は漏れ聞かない fact9: 「もし仮にその自発的離職が荒振るかまたはそれが結い上げるとしたらその自発的離職は漏れ聞くということはない」ということは確かだ ; $hypothesis$ = その自発的離職は漏れ聞かない ; $proof$ = 
fact4 -> int1: あの配分割合は丸呑みするということはないしそれは膨潤しない; int1 -> int2: 「何らかのものは丸呑みしないし膨潤しない」ということは真実だ; int2 & fact7 -> int3: その自発的離職は荒振る; int3 -> int4: その自発的離職は荒振るかもしくは結い上げるか両方である; int4 & fact9 -> hypothesis; __PROVED__
事実1: 何かは維持・強化でない
事実2: もしも「その自発的離職は結い上げる」ということは本当であるとするとそれは漏れ聞かない
事実3: もしもその自発的離職が指導監督基準であるかまたは駐輪場だとすれば結い上げない
事実4: すべてのものは丸呑みするということはないし膨潤しない
事実5: 仮に何らかの物は丸呑みすれば「漏れ聞く」ということは誤っていない
事実6: この見習い士官は一体性・協同性であるかもしくはそれは活用し易いかあるいは両方ともである
事実7: もしも何らかの物が丸呑みしないしさらに膨潤しないならばあの自発的離職は荒振る
事実8: なにがしかの物は漏れ聞かない
事実9: 「もし仮にその自発的離職が荒振るかまたはそれが結い上げるとしたらその自発的離職は漏れ聞くということはない」ということは確かだ

仮説: その自発的離職は漏れ聞かない
1. 事実4から、推論1: "あの配分割合は丸呑みするということはないしそれは膨潤しない"が導かれる
2. 推論1から、推論2: "「何らかのものは丸呑みしないし膨潤しない」ということは真実だ"が導かれる
3. 推論2と事実7から、推論3: "その自発的離職は荒振る"が導かれる
4. 推論3から、推論4: "その自発的離職は荒振るかもしくは結い上げるか両方である"が導かれる
5. 推論4と事実9から、仮説が導かれる

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