「仮に動かし難いなら「他愛無くないしそれに上げ難くない」ということは偽でない」物はある
fact1: もし仮に何かは上げ難いとすればそれはミュージアムショップでなくて崩れ易くない fact2: もしもそのワーキングメモリが動かし難いとすればそれは他愛無くないし上げ難いということはない fact3: もし仮にそのワーキングメモリが動かし難いなら他愛無くておまけに上げ難くない
fact2 -> hypothesis;
fact2 -> hypothesis;
もしも「その補瀉は上げ難い」ということは成り立つとするとそれはミュージアムショップでなくてそれに崩れ易くない
fact4 -> hypothesis;
$facts$ = fact1: もし仮に何かは上げ難いとすればそれはミュージアムショップでなくて崩れ易くない fact2: もしもそのワーキングメモリが動かし難いとすればそれは他愛無くないし上げ難いということはない fact3: もし仮にそのワーキングメモリが動かし難いなら他愛無くておまけに上げ難くない ; $hypothesis$ = 「仮に動かし難いなら「他愛無くないしそれに上げ難くない」ということは偽でない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮に何かは上げ難いとすればそれはミュージアムショップでなくて崩れ易くない
事実2: もしもそのワーキングメモリが動かし難いとすればそれは他愛無くないし上げ難いということはない
事実3: もし仮にそのワーキングメモリが動かし難いなら他愛無くておまけに上げ難くない

仮説: 「仮に動かし難いなら「他愛無くないしそれに上げ難くない」ということは偽でない」物はある
1. 事実2から、仮説が導かれる

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