このデーターベースは移行し易い
fact1: あの遊休は炊き上げる fact2: このデーターベースが減り込まないならばそれは移行し易い fact3: あの剪刀は炊き上げる fact4: とある物がばらつくということはないとすれば移行し易い fact5: 仮に「なにかは炊き上げるし移行し易い」ということは偽であるなら移行し易くない fact6: あの遊休は減り込む fact7: このデーターベースが炊き上げないとしたらあの遊休はばらつく fact8: もし仮にあの遊休が減り込まないならばばらつく fact9: 仮にあの業界トップレベルが減り込むとしたらこのデーターベースは炊き上げない fact10: 仮にあの遊休が炊き上げるしその上減り込むとすればこのデーターベースはばらつくということはない
fact1 & fact6 -> int1: 「あの遊休は炊き上げるしかつ減り込む」ということは確かだ; int1 & fact10 -> int2: このデーターベースはばらつくということはない; fact4 -> int3: もし仮にこのデーターベースがばらつかないとするとそれは移行し易い; int2 & int3 -> hypothesis;
このデーターベースは移行し易いということはない
fact11 -> int4: 「もし「このデーターベースは炊き上げるし移行し易い」ということは嘘だとするとこのデーターベースは移行し易いということはない」ということは本当だ;
$facts$ = fact1: あの遊休は炊き上げる fact2: このデーターベースが減り込まないならばそれは移行し易い fact3: あの剪刀は炊き上げる fact4: とある物がばらつくということはないとすれば移行し易い fact5: 仮に「なにかは炊き上げるし移行し易い」ということは偽であるなら移行し易くない fact6: あの遊休は減り込む fact7: このデーターベースが炊き上げないとしたらあの遊休はばらつく fact8: もし仮にあの遊休が減り込まないならばばらつく fact9: 仮にあの業界トップレベルが減り込むとしたらこのデーターベースは炊き上げない fact10: 仮にあの遊休が炊き上げるしその上減り込むとすればこのデーターベースはばらつくということはない ; $hypothesis$ = このデーターベースは移行し易い ; $proof$ = 
fact1 & fact6 -> int1: 「あの遊休は炊き上げるしかつ減り込む」ということは確かだ; int1 & fact10 -> int2: このデーターベースはばらつくということはない; fact4 -> int3: もし仮にこのデーターベースがばらつかないとするとそれは移行し易い; int2 & int3 -> hypothesis; __PROVED__
事実1: あの遊休は炊き上げる
事実2: このデーターベースが減り込まないならばそれは移行し易い
事実3: あの剪刀は炊き上げる
事実4: とある物がばらつくということはないとすれば移行し易い
事実5: 仮に「なにかは炊き上げるし移行し易い」ということは偽であるなら移行し易くない
事実6: あの遊休は減り込む
事実7: このデーターベースが炊き上げないとしたらあの遊休はばらつく
事実8: もし仮にあの遊休が減り込まないならばばらつく
事実9: 仮にあの業界トップレベルが減り込むとしたらこのデーターベースは炊き上げない
事実10: 仮にあの遊休が炊き上げるしその上減り込むとすればこのデーターベースはばらつくということはない

仮説: このデーターベースは移行し易い
1. 事実1と事実6から、推論1: "「あの遊休は炊き上げるしかつ減り込む」ということは確かだ"が導かれる
2. 推論1と事実10から、推論2: "このデーターベースはばらつくということはない"が導かれる
3. 事実4から、推論3: "もし仮にこのデーターベースがばらつかないとするとそれは移行し易い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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