このドイツ語版は用意する
fact1: もしとあるものはカイロ宣言でないなら「上昇し易い一方で耳打ちしない」ということは誤りである fact2: このドイツ語版は生え始める fact3: 上昇し易くない物は用意するししかも生え始める fact4: とある物が耳打ちしないならそれは用意するしまたそれは上昇し易くない fact5: もし仮にこのドイツ語版は生え始めるし上昇し易いとしたらそれは用意しない fact6: もしこのドイツ語版が用意するけれど上昇し易くないならあのギヤ比は生え始める fact7: この諸経は生え始める fact8: このドイツ語版は上昇し易い fact9: もしも何かは埋め尽くせばそれはカイロ宣言で耳打ちするということはない
fact2 & fact8 -> int1: このドイツ語版は生え始めるしそれは上昇し易い; int1 & fact5 -> hypothesis;
あのギヤ比は生え始める
fact10 -> int2: 仮にこのドイツ語版が耳打ちしないとするとそれは用意するしそれに上昇し易くない; fact11 -> int3: 仮にこのドイツ語版が埋め尽くすとしたらカイロ宣言だけれど耳打ちするということはない;
$facts$ = fact1: もしとあるものはカイロ宣言でないなら「上昇し易い一方で耳打ちしない」ということは誤りである fact2: このドイツ語版は生え始める fact3: 上昇し易くない物は用意するししかも生え始める fact4: とある物が耳打ちしないならそれは用意するしまたそれは上昇し易くない fact5: もし仮にこのドイツ語版は生え始めるし上昇し易いとしたらそれは用意しない fact6: もしこのドイツ語版が用意するけれど上昇し易くないならあのギヤ比は生え始める fact7: この諸経は生え始める fact8: このドイツ語版は上昇し易い fact9: もしも何かは埋め尽くせばそれはカイロ宣言で耳打ちするということはない ; $hypothesis$ = このドイツ語版は用意する ; $proof$ = 
fact2 & fact8 -> int1: このドイツ語版は生え始めるしそれは上昇し易い; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしとあるものはカイロ宣言でないなら「上昇し易い一方で耳打ちしない」ということは誤りである
事実2: このドイツ語版は生え始める
事実3: 上昇し易くない物は用意するししかも生え始める
事実4: とある物が耳打ちしないならそれは用意するしまたそれは上昇し易くない
事実5: もし仮にこのドイツ語版は生え始めるし上昇し易いとしたらそれは用意しない
事実6: もしこのドイツ語版が用意するけれど上昇し易くないならあのギヤ比は生え始める
事実7: この諸経は生え始める
事実8: このドイツ語版は上昇し易い
事実9: もしも何かは埋め尽くせばそれはカイロ宣言で耳打ちするということはない

仮説: このドイツ語版は用意する
1. 事実2と事実8から、推論1: "このドイツ語版は生え始めるしそれは上昇し易い"が導かれる
2. 推論1と事実5から、仮説が否定される

よって、仮説が否定されました。