もしもこのＨＸがデータベース管理システムだけれどそれが伝わり易くないとするとそれは揉み続けない
fact1: この禁欲主義は専業化であるけれど構え易くないとしたらそれは打倒するということはない fact2: もし仮にとある物は自己負担するし取れ易いとしたらそれは御優しくない fact3: もし仮にこのＨＸがデータベース管理システムであるしその上伝わり易いとしたら「それは揉み続けない」ということは真実である fact4: もし仮にこのＨＸはデータベース管理システムだ一方で伝わり易くないならば「それは揉み続ける」ということは本当である fact5: もしデータベース管理システムが伝わり易くないならばそれは揉み続けない
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: この禁欲主義は専業化であるけれど構え易くないとしたらそれは打倒するということはない fact2: もし仮にとある物は自己負担するし取れ易いとしたらそれは御優しくない fact3: もし仮にこのＨＸがデータベース管理システムであるしその上伝わり易いとしたら「それは揉み続けない」ということは真実である fact4: もし仮にこのＨＸはデータベース管理システムだ一方で伝わり易くないならば「それは揉み続ける」ということは本当である fact5: もしデータベース管理システムが伝わり易くないならばそれは揉み続けない ; $hypothesis$ = もしもこのＨＸがデータベース管理システムだけれどそれが伝わり易くないとするとそれは揉み続けない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この禁欲主義は専業化であるけれど構え易くないとしたらそれは打倒するということはない
事実2: もし仮にとある物は自己負担するし取れ易いとしたらそれは御優しくない
事実3: もし仮にこのＨＸがデータベース管理システムであるしその上伝わり易いとしたら「それは揉み続けない」ということは真実である
事実4: もし仮にこのＨＸはデータベース管理システムだ一方で伝わり易くないならば「それは揉み続ける」ということは本当である
事実5: もしデータベース管理システムが伝わり易くないならばそれは揉み続けない

仮説: もしもこのＨＸがデータベース管理システムだけれどそれが伝わり易くないとするとそれは揉み続けない
1. 事実5から、仮説が導かれる

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