その可燃は掛け易いしかつそれは予測し易い
fact1: もし仮になにかは霊体でないならばそれは登山家らしくないし更に教授法でない fact2: もし仮に「その牧師さんは予測し易くないけど待ち遠しい」ということは成り立たないとしたらその可燃は予測し易い fact3: 仮にあるものが登山家らしくないしそれは教授法でないとするとそれは待ち遠しくない fact4: 「その牧師さんは予測し易いということはないけどそれは待ち遠しい」ということは事実と異なる fact5: もし仮にその牧師さんはシールしないなら「その可燃は掛け易いし加えて予測し易い」ということは偽である fact6: もしもこの対立遺伝子が待ち遠しくないとすればこのテニスボールは過大評価するかシールしない fact7: その可燃はシールするしそれは掛け易い
fact7 -> int1: その可燃は掛け易い; fact2 & fact4 -> int2: 「その可燃は予測し易い」ということは真実である; int1 & int2 -> hypothesis;
fact7 -> int1: {B}{a}; fact2 & fact4 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「その可燃は掛け易くて予測し易い」ということは事実だということはない
fact11 -> int3: もしもこの対立遺伝子が登山家らしくないしまたそれは教授法でないならそれは待ち遠しくない; fact10 -> int4: もしこの対立遺伝子は霊体でないとしたらそれは登山家らしくないし教授法であるということはない;
$facts$ = fact1: もし仮になにかは霊体でないならばそれは登山家らしくないし更に教授法でない fact2: もし仮に「その牧師さんは予測し易くないけど待ち遠しい」ということは成り立たないとしたらその可燃は予測し易い fact3: 仮にあるものが登山家らしくないしそれは教授法でないとするとそれは待ち遠しくない fact4: 「その牧師さんは予測し易いということはないけどそれは待ち遠しい」ということは事実と異なる fact5: もし仮にその牧師さんはシールしないなら「その可燃は掛け易いし加えて予測し易い」ということは偽である fact6: もしもこの対立遺伝子が待ち遠しくないとすればこのテニスボールは過大評価するかシールしない fact7: その可燃はシールするしそれは掛け易い ; $hypothesis$ = その可燃は掛け易いしかつそれは予測し易い ; $proof$ = 
fact7 -> int1: その可燃は掛け易い; fact2 & fact4 -> int2: 「その可燃は予測し易い」ということは真実である; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮になにかは霊体でないならばそれは登山家らしくないし更に教授法でない
事実2: もし仮に「その牧師さんは予測し易くないけど待ち遠しい」ということは成り立たないとしたらその可燃は予測し易い
事実3: 仮にあるものが登山家らしくないしそれは教授法でないとするとそれは待ち遠しくない
事実4: 「その牧師さんは予測し易いということはないけどそれは待ち遠しい」ということは事実と異なる
事実5: もし仮にその牧師さんはシールしないなら「その可燃は掛け易いし加えて予測し易い」ということは偽である
事実6: もしもこの対立遺伝子が待ち遠しくないとすればこのテニスボールは過大評価するかシールしない
事実7: その可燃はシールするしそれは掛け易い

仮説: その可燃は掛け易いしかつそれは予測し易い
1. 事実7から、推論1: "その可燃は掛け易い"が導かれる
2. 事実2と事実4から、推論2: "「その可燃は予測し易い」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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