汚れ難いし軽い物はある
fact1: 仮にあの何事が軽いとすればあの俵は軽い fact2: あの俵は汚れ難いかもしくは際どい fact3: あの俵は滾つということはなくてＤＢでない fact4: あの何事がＮＳＴ検査だしＤＢだ fact5: あの何事は軽いかまたは際どいかどちらもである fact6: もし仮にあの俵が滾つけれどそれはＤＢでないなら汚れ難い fact7: もしあの何事が滾てばあの俵は滾つ fact8: もしもあの俵は滾たないしＤＢでないとすると「それは汚れ難い」ということは成り立つ fact9: あの渦潮は汚れ難い fact10: もしもあの何事が際どいとしたらあの俵は際どい fact11: もし仮にあの何事が際どいとすればあの俵は軽い
fact8 & fact3 -> int1: あの俵は汚れ難い; fact1 & fact5 & fact11 -> int2: あの俵は軽い; int1 & int2 -> int3: あの俵は汚れ難くて更にそれは軽い; int3 -> hypothesis;
$facts$ = fact1: 仮にあの何事が軽いとすればあの俵は軽い fact2: あの俵は汚れ難いかもしくは際どい fact3: あの俵は滾つということはなくてＤＢでない fact4: あの何事がＮＳＴ検査だしＤＢだ fact5: あの何事は軽いかまたは際どいかどちらもである fact6: もし仮にあの俵が滾つけれどそれはＤＢでないなら汚れ難い fact7: もしあの何事が滾てばあの俵は滾つ fact8: もしもあの俵は滾たないしＤＢでないとすると「それは汚れ難い」ということは成り立つ fact9: あの渦潮は汚れ難い fact10: もしもあの何事が際どいとしたらあの俵は際どい fact11: もし仮にあの何事が際どいとすればあの俵は軽い ; $hypothesis$ = 汚れ難いし軽い物はある ; $proof$ = 
fact8 & fact3 -> int1: あの俵は汚れ難い; fact1 & fact5 & fact11 -> int2: あの俵は軽い; int1 & int2 -> int3: あの俵は汚れ難くて更にそれは軽い; int3 -> hypothesis; __PROVED__
事実1: 仮にあの何事が軽いとすればあの俵は軽い
事実2: あの俵は汚れ難いかもしくは際どい
事実3: あの俵は滾つということはなくてＤＢでない
事実4: あの何事がＮＳＴ検査だしＤＢだ
事実5: あの何事は軽いかまたは際どいかどちらもである
事実6: もし仮にあの俵が滾つけれどそれはＤＢでないなら汚れ難い
事実7: もしあの何事が滾てばあの俵は滾つ
事実8: もしもあの俵は滾たないしＤＢでないとすると「それは汚れ難い」ということは成り立つ
事実9: あの渦潮は汚れ難い
事実10: もしもあの何事が際どいとしたらあの俵は際どい
事実11: もし仮にあの何事が際どいとすればあの俵は軽い

仮説: 汚れ難いし軽い物はある
1. 事実8と事実3から、推論1: "あの俵は汚れ難い"が導かれる
2. 事実1と事実5と事実11から、推論2: "あの俵は軽い"が導かれる
3. 推論1と推論2から、推論3: "あの俵は汚れ難くて更にそれは軽い"が導かれる
4. 推論3から、仮説が導かれる

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