この暫定豊水水利権はＨワンセルでない
fact1: どれもこれもは義務教育期間でない fact2: あるものは小集団でないならば「心強くないけれど個立する」ということは成り立たない fact3: なにがしかのものが小集団でないとすると個立するしそれにそれは心強い fact4: もし「「あのナチス時代は心強くないがしかし個立する」ということは事実である」ということは誤っているならそのサラリーマン氏はＨワンセルでない fact5: すべてのものはＨワンセルでない fact6: 「何らかのものは眠いか端折るかどちらもだ」ということは成り立たないとすればそれは小集団でない fact7: 仮になんらかのものが個立するとしたらＨワンセルだ
fact5 -> hypothesis;
fact5 -> hypothesis;
そのサラリーマン氏はＨワンセルでない
fact9 -> int1: もしもあのナチス時代は小集団であるということはないならば「心強くないがしかし個立する」ということは偽である; fact10 -> int2: もしも「あのナチス時代は眠いかまたは端折るか両方ともである」ということは成り立たないなら小集団でない;
$facts$ = fact1: どれもこれもは義務教育期間でない fact2: あるものは小集団でないならば「心強くないけれど個立する」ということは成り立たない fact3: なにがしかのものが小集団でないとすると個立するしそれにそれは心強い fact4: もし「「あのナチス時代は心強くないがしかし個立する」ということは事実である」ということは誤っているならそのサラリーマン氏はＨワンセルでない fact5: すべてのものはＨワンセルでない fact6: 「何らかのものは眠いか端折るかどちらもだ」ということは成り立たないとすればそれは小集団でない fact7: 仮になんらかのものが個立するとしたらＨワンセルだ ; $hypothesis$ = この暫定豊水水利権はＨワンセルでない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: どれもこれもは義務教育期間でない
事実2: あるものは小集団でないならば「心強くないけれど個立する」ということは成り立たない
事実3: なにがしかのものが小集団でないとすると個立するしそれにそれは心強い
事実4: もし「「あのナチス時代は心強くないがしかし個立する」ということは事実である」ということは誤っているならそのサラリーマン氏はＨワンセルでない
事実5: すべてのものはＨワンセルでない
事実6: 「何らかのものは眠いか端折るかどちらもだ」ということは成り立たないとすればそれは小集団でない
事実7: 仮になんらかのものが個立するとしたらＨワンセルだ

仮説: この暫定豊水水利権はＨワンセルでない
1. 事実5から、仮説が導かれる

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