「あのアプリケーションは選択し直すし加えて聞こえ難い」ということは成り立たない
fact1: もしその舎利塔は作り易いとすると「あのアプリケーションは作り易くて見付け易い」ということは誤りだ fact2: とあるものは生み難いならば「形成し易い一方で掛かり難くない」ということは偽だ fact3: 仮にその舎利塔は生み難いならば「作り易い」ということは事実だ fact4: このフィットは部屋毎だ fact5: あのアプリケーションは御し易いがしかしこそばゆくないとするとそれは選択し直す fact6: もしも「このフィットはダイブしないけれど選択し直す」ということは成り立つということはないなら「想像し難い」ということは本当だ fact7: 「掛かり難いかもしくはこそばゆいかあるいは両方ともな」物はある fact8: もしもあのアプリケーションは形成し易くないとしたら「それは選択し直すしまたそれは聞こえ難い」ということは嘘だ fact9: もし仮にこのフィットは形成し易いなら「あのアプリケーションは形成し易くないがしかし見付け易い」ということは偽だ fact10: もし何かは昇天するとするとそれはＤＮＡ損傷だ fact11: 「なにかは作り易くない一方で見付け易い」ということは間違っているとすれば部屋毎だ fact12: もし「形成し易いか掛かり難くないかまたは両方ともな」ものがあるならその舎利塔は生み難い fact13: もしその舎利塔は生み難いとしたら「それは選択し直す」ということは確かだ fact14: このフィットは形成し易い fact15: 「作り易いものは生み難い」ということは事実だ fact16: あのアプリケーションは御し易いがそれはこそばゆくない fact17: もし仮にその舎利塔は作り易いとすれば「あのアプリケーションは作り易いということはないが見付け易い」ということは成り立つということはない fact18: もし仮に「このフィットは形成し易い一方で掛かり難くない」ということは間違いだとすればあのアプリケーションは形成し易くない fact19: とある物は部屋毎であるならばそれは聞こえ難い fact20: あのアプリケーションは御し易くてかつ掛かり難い fact21: あの裁判は常連らしいしまた見付け易い
fact14 -> int1: このフィットは形成し易いかもしくは掛かり難いということはない; int1 -> int2: 形成し易いか掛かり難くないかもしくは両方ともなものはある; int2 & fact12 -> int3: 「その舎利塔は生み難い」ということは成り立つ; int3 & fact3 -> int4: その舎利塔は作り易い; int4 & fact17 -> int5: 「あのアプリケーションは作り易くないがしかし見付け易い」ということは誤りである; fact11 -> int6: もし「あのアプリケーションは作り易くないがしかしそれは見付け易い」ということは事実と異なるとしたら部屋毎である; int5 & int6 -> int7: あのアプリケーションは部屋毎である; fact19 -> int8: もし仮にあのアプリケーションが部屋毎だとしたらそれは聞こえ難い; int7 & int8 -> int9: 「あのアプリケーションは聞こえ難い」ということは間違いでない; fact16 & fact5 -> int10: あのアプリケーションは選択し直す; int9 & int10 -> hypothesis;
「あのアプリケーションは選択し直すし聞こえ難い」ということは嘘だ
fact23 -> int11: もしもこのフィットは生み難いとすると「それは形成し易いがしかし掛かり難くない」ということは偽だ; fact25 -> int12: 「このフィットは作り易い」ということは本当ならそれは生み難い;
$facts$ = fact1: もしその舎利塔は作り易いとすると「あのアプリケーションは作り易くて見付け易い」ということは誤りだ fact2: とあるものは生み難いならば「形成し易い一方で掛かり難くない」ということは偽だ fact3: 仮にその舎利塔は生み難いならば「作り易い」ということは事実だ fact4: このフィットは部屋毎だ fact5: あのアプリケーションは御し易いがしかしこそばゆくないとするとそれは選択し直す fact6: もしも「このフィットはダイブしないけれど選択し直す」ということは成り立つということはないなら「想像し難い」ということは本当だ fact7: 「掛かり難いかもしくはこそばゆいかあるいは両方ともな」物はある fact8: もしもあのアプリケーションは形成し易くないとしたら「それは選択し直すしまたそれは聞こえ難い」ということは嘘だ fact9: もし仮にこのフィットは形成し易いなら「あのアプリケーションは形成し易くないがしかし見付け易い」ということは偽だ fact10: もし何かは昇天するとするとそれはＤＮＡ損傷だ fact11: 「なにかは作り易くない一方で見付け易い」ということは間違っているとすれば部屋毎だ fact12: もし「形成し易いか掛かり難くないかまたは両方ともな」ものがあるならその舎利塔は生み難い fact13: もしその舎利塔は生み難いとしたら「それは選択し直す」ということは確かだ fact14: このフィットは形成し易い fact15: 「作り易いものは生み難い」ということは事実だ fact16: あのアプリケーションは御し易いがそれはこそばゆくない fact17: もし仮にその舎利塔は作り易いとすれば「あのアプリケーションは作り易いということはないが見付け易い」ということは成り立つということはない fact18: もし仮に「このフィットは形成し易い一方で掛かり難くない」ということは間違いだとすればあのアプリケーションは形成し易くない fact19: とある物は部屋毎であるならばそれは聞こえ難い fact20: あのアプリケーションは御し易くてかつ掛かり難い fact21: あの裁判は常連らしいしまた見付け易い ; $hypothesis$ = 「あのアプリケーションは選択し直すし加えて聞こえ難い」ということは成り立たない ; $proof$ = 
fact14 -> int1: このフィットは形成し易いかもしくは掛かり難いということはない; int1 -> int2: 形成し易いか掛かり難くないかもしくは両方ともなものはある; int2 & fact12 -> int3: 「その舎利塔は生み難い」ということは成り立つ; int3 & fact3 -> int4: その舎利塔は作り易い; int4 & fact17 -> int5: 「あのアプリケーションは作り易くないがしかし見付け易い」ということは誤りである; fact11 -> int6: もし「あのアプリケーションは作り易くないがしかしそれは見付け易い」ということは事実と異なるとしたら部屋毎である; int5 & int6 -> int7: あのアプリケーションは部屋毎である; fact19 -> int8: もし仮にあのアプリケーションが部屋毎だとしたらそれは聞こえ難い; int7 & int8 -> int9: 「あのアプリケーションは聞こえ難い」ということは間違いでない; fact16 & fact5 -> int10: あのアプリケーションは選択し直す; int9 & int10 -> hypothesis; __DISPROVED__
事実1: もしその舎利塔は作り易いとすると「あのアプリケーションは作り易くて見付け易い」ということは誤りだ
事実2: とあるものは生み難いならば「形成し易い一方で掛かり難くない」ということは偽だ
事実3: 仮にその舎利塔は生み難いならば「作り易い」ということは事実だ
事実4: このフィットは部屋毎だ
事実5: あのアプリケーションは御し易いがしかしこそばゆくないとするとそれは選択し直す
事実6: もしも「このフィットはダイブしないけれど選択し直す」ということは成り立つということはないなら「想像し難い」ということは本当だ
事実7: 「掛かり難いかもしくはこそばゆいかあるいは両方ともな」物はある
事実8: もしもあのアプリケーションは形成し易くないとしたら「それは選択し直すしまたそれは聞こえ難い」ということは嘘だ
事実9: もし仮にこのフィットは形成し易いなら「あのアプリケーションは形成し易くないがしかし見付け易い」ということは偽だ
事実10: もし何かは昇天するとするとそれはＤＮＡ損傷だ
事実11: 「なにかは作り易くない一方で見付け易い」ということは間違っているとすれば部屋毎だ
事実12: もし「形成し易いか掛かり難くないかまたは両方ともな」ものがあるならその舎利塔は生み難い
事実13: もしその舎利塔は生み難いとしたら「それは選択し直す」ということは確かだ
事実14: このフィットは形成し易い
事実15: 「作り易いものは生み難い」ということは事実だ
事実16: あのアプリケーションは御し易いがそれはこそばゆくない
事実17: もし仮にその舎利塔は作り易いとすれば「あのアプリケーションは作り易いということはないが見付け易い」ということは成り立つということはない
事実18: もし仮に「このフィットは形成し易い一方で掛かり難くない」ということは間違いだとすればあのアプリケーションは形成し易くない
事実19: とある物は部屋毎であるならばそれは聞こえ難い
事実20: あのアプリケーションは御し易くてかつ掛かり難い
事実21: あの裁判は常連らしいしまた見付け易い

仮説: 「あのアプリケーションは選択し直すし加えて聞こえ難い」ということは成り立たない
1. 事実14から、推論1: "このフィットは形成し易いかもしくは掛かり難いということはない"が導かれる
2. 推論1から、推論2: "形成し易いか掛かり難くないかもしくは両方ともなものはある"が導かれる
3. 推論2と事実12から、推論3: "「その舎利塔は生み難い」ということは成り立つ"が導かれる
4. 推論3と事実3から、推論4: "その舎利塔は作り易い"が導かれる
5. 推論4と事実17から、推論5: "「あのアプリケーションは作り易くないがしかし見付け易い」ということは誤りである"が導かれる
6. 事実11から、推論6: "もし「あのアプリケーションは作り易くないがしかしそれは見付け易い」ということは事実と異なるとしたら部屋毎である"が導かれる
7. 推論5と推論6から、推論7: "あのアプリケーションは部屋毎である"が導かれる
8. 事実19から、推論8: "もし仮にあのアプリケーションが部屋毎だとしたらそれは聞こえ難い"が導かれる
9. 推論7と推論8から、推論9: "「あのアプリケーションは聞こえ難い」ということは間違いでない"が導かれる
10. 事実16と事実5から、推論10: "あのアプリケーションは選択し直す"が導かれる
11. 推論9と推論10から、仮説が否定される

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