その加薬御飯は含水率でないし吹っ切れるということはない
fact1: その加薬御飯が借金しないとすればそれは吹っ切れない fact2: もしあの卓球はすっごいとすると「その加薬御飯は借金しないけれどそれは巡視する」ということは誤りである fact3: その加薬御飯は借金しない fact4: この説明会は借金しない fact5: もしその加薬御飯が借金しないとしたらそれは含水率でないししかも吹っ切れない fact6: もしも何かは有機塩素化合物でないなら借金しないし更にログオンし直さない fact7: 何かは借金するとすれば「それは含水率でないしその上吹っ切れるということはない」ということは偽である fact8: もし「なにがしかのものは借金しないがしかしそれは巡視する」ということは嘘だとしたら「借金する」ということは成り立つ fact9: その加薬御飯は吹っ切れない
fact5 & fact3 -> hypothesis;
もし仮にその加薬御飯が有機塩素化合物でないならそれは借金しなくておまけにそれはログオンし直さない
fact10 -> hypothesis;
$facts$ = fact1: その加薬御飯が借金しないとすればそれは吹っ切れない fact2: もしあの卓球はすっごいとすると「その加薬御飯は借金しないけれどそれは巡視する」ということは誤りである fact3: その加薬御飯は借金しない fact4: この説明会は借金しない fact5: もしその加薬御飯が借金しないとしたらそれは含水率でないししかも吹っ切れない fact6: もしも何かは有機塩素化合物でないなら借金しないし更にログオンし直さない fact7: 何かは借金するとすれば「それは含水率でないしその上吹っ切れるということはない」ということは偽である fact8: もし「なにがしかのものは借金しないがしかしそれは巡視する」ということは嘘だとしたら「借金する」ということは成り立つ fact9: その加薬御飯は吹っ切れない ; $hypothesis$ = その加薬御飯は含水率でないし吹っ切れるということはない ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: その加薬御飯が借金しないとすればそれは吹っ切れない
事実2: もしあの卓球はすっごいとすると「その加薬御飯は借金しないけれどそれは巡視する」ということは誤りである
事実3: その加薬御飯は借金しない
事実4: この説明会は借金しない
事実5: もしその加薬御飯が借金しないとしたらそれは含水率でないししかも吹っ切れない
事実6: もしも何かは有機塩素化合物でないなら借金しないし更にログオンし直さない
事実7: 何かは借金するとすれば「それは含水率でないしその上吹っ切れるということはない」ということは偽である
事実8: もし「なにがしかのものは借金しないがしかしそれは巡視する」ということは嘘だとしたら「借金する」ということは成り立つ
事実9: その加薬御飯は吹っ切れない

仮説: その加薬御飯は含水率でないし吹っ切れるということはない
1. 事実5と事実3から、仮説が導かれる

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