そのジオールはがっつく
fact1: もし仮に「あの旧交は恥ずかしくないし縁遠くない」ということは嘘だとすればそのジオールはがっつかない fact2: もしもあの旧交が読み下さないとしたらそれは使い易いかあるいは滲み始めるかもしくは両方ともだ fact3: もしあの旧交が縁遠いならばそのジオールはがっつかない fact4: 「あの銀行業界は読み下すしまた所有権取得だ」ということは間違っている fact5: もしも研究チームは十短調でないならば「がっつく」ということは成り立つ fact6: 仮にあの旧交はがっつかないなら「「それは研究チームでないしそれは縁遠くない」ということは本当だ」ということは嘘である fact7: 「あの旧交は恥ずかしくないけれどそれは縁遠い」ということは誤っている fact8: もし仮に「何らかのものは低温でないしそれは研究チームでない」ということは真実でないなら「それは低温である」ということは正しい fact9: もし「あの旧交は研究チームでない」ということは正しいとしたら「それは恥ずかしくないし縁遠くない」ということは成り立たない fact10: もしもあの旧交は研究チームでないとしたら「それは恥ずかしくないが縁遠い」ということは嘘だ fact11: もし仮に「ある物は読み下すしそれにそれは所有権取得である」ということは誤りであるならばそれは所有権取得だということはない fact12: もし仮にあの旧交ががっつくとしたらそのジオールはがっつく fact13: 仮に「「何らかのものは見落とすということはないけれど使い易い」ということは確かだ」ということは事実でないとしたらそれは使い易くない fact14: もし仮になにがしかのものは所有権取得でないなら「見落とさないし使い易い」ということは間違いだ fact15: もし「この砂地は十短調だ一方で滲み始めない」ということは事実でないとしたら「そのジオールはがっつく」ということは事実だ fact16: もしも「「低温だ」ということは確かである」物はあるとすれば「あのアイゼンは低温でなくておまけに膨らみ始めない」ということは事実でない fact17: 「その過大投資ははち切れないし縁遠いということはない」ということは成り立たない fact18: 仮に「あの旧交は恥ずかしくない」ということは確かであるとすると「がっつかないしさらに縁遠くない」ということは嘘である fact19: そのジオールは研究チームでない fact20: そのジオールはがっつくとすれば「あの旧交は低温でなくてしかも研究チームでない」ということは間違っている fact21: あの旧交は研究チームでない
fact9 & fact21 -> int1: 「あの旧交は恥ずかしくないしまた縁遠くない」ということは事実と異なる; int1 & fact1 -> hypothesis;
「あのアイゼンは低温でないし膨らみ始めない」ということは嘘だ
fact25 -> int2: 仮に「あの旧交は低温でなくて研究チームでない」ということは成り立つということはないなら低温である; fact29 -> int3: もしも「あの銀行業界は見落とさないけど使い易い」ということは事実と異なるなら使い易くない; fact28 -> int4: もし「あの銀行業界は所有権取得でない」ということは成り立つとすれば「見落とさないしそれは使い易い」ということは嘘である; fact22 -> int5: もし仮に「「あの銀行業界は読み下すし所有権取得である」ということは成り立つということはない」ということは確かだとしたらそれは所有権取得でない; int5 & fact23 -> int6: あの銀行業界は所有権取得でない; int4 & int6 -> int7: 「あの銀行業界は見落とさないが使い易い」ということは事実と異なる; int3 & int7 -> int8: あの銀行業界は使い易いということはない; int8 -> int9: なにかは使い易くない;
$facts$ = fact1: もし仮に「あの旧交は恥ずかしくないし縁遠くない」ということは嘘だとすればそのジオールはがっつかない fact2: もしもあの旧交が読み下さないとしたらそれは使い易いかあるいは滲み始めるかもしくは両方ともだ fact3: もしあの旧交が縁遠いならばそのジオールはがっつかない fact4: 「あの銀行業界は読み下すしまた所有権取得だ」ということは間違っている fact5: もしも研究チームは十短調でないならば「がっつく」ということは成り立つ fact6: 仮にあの旧交はがっつかないなら「「それは研究チームでないしそれは縁遠くない」ということは本当だ」ということは嘘である fact7: 「あの旧交は恥ずかしくないけれどそれは縁遠い」ということは誤っている fact8: もし仮に「何らかのものは低温でないしそれは研究チームでない」ということは真実でないなら「それは低温である」ということは正しい fact9: もし「あの旧交は研究チームでない」ということは正しいとしたら「それは恥ずかしくないし縁遠くない」ということは成り立たない fact10: もしもあの旧交は研究チームでないとしたら「それは恥ずかしくないが縁遠い」ということは嘘だ fact11: もし仮に「ある物は読み下すしそれにそれは所有権取得である」ということは誤りであるならばそれは所有権取得だということはない fact12: もし仮にあの旧交ががっつくとしたらそのジオールはがっつく fact13: 仮に「「何らかのものは見落とすということはないけれど使い易い」ということは確かだ」ということは事実でないとしたらそれは使い易くない fact14: もし仮になにがしかのものは所有権取得でないなら「見落とさないし使い易い」ということは間違いだ fact15: もし「この砂地は十短調だ一方で滲み始めない」ということは事実でないとしたら「そのジオールはがっつく」ということは事実だ fact16: もしも「「低温だ」ということは確かである」物はあるとすれば「あのアイゼンは低温でなくておまけに膨らみ始めない」ということは事実でない fact17: 「その過大投資ははち切れないし縁遠いということはない」ということは成り立たない fact18: 仮に「あの旧交は恥ずかしくない」ということは確かであるとすると「がっつかないしさらに縁遠くない」ということは嘘である fact19: そのジオールは研究チームでない fact20: そのジオールはがっつくとすれば「あの旧交は低温でなくてしかも研究チームでない」ということは間違っている fact21: あの旧交は研究チームでない ; $hypothesis$ = そのジオールはがっつく ; $proof$ = 
fact9 & fact21 -> int1: 「あの旧交は恥ずかしくないしまた縁遠くない」ということは事実と異なる; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの旧交は恥ずかしくないし縁遠くない」ということは嘘だとすればそのジオールはがっつかない
事実2: もしもあの旧交が読み下さないとしたらそれは使い易いかあるいは滲み始めるかもしくは両方ともだ
事実3: もしあの旧交が縁遠いならばそのジオールはがっつかない
事実4: 「あの銀行業界は読み下すしまた所有権取得だ」ということは間違っている
事実5: もしも研究チームは十短調でないならば「がっつく」ということは成り立つ
事実6: 仮にあの旧交はがっつかないなら「「それは研究チームでないしそれは縁遠くない」ということは本当だ」ということは嘘である
事実7: 「あの旧交は恥ずかしくないけれどそれは縁遠い」ということは誤っている
事実8: もし仮に「何らかのものは低温でないしそれは研究チームでない」ということは真実でないなら「それは低温である」ということは正しい
事実9: もし「あの旧交は研究チームでない」ということは正しいとしたら「それは恥ずかしくないし縁遠くない」ということは成り立たない
事実10: もしもあの旧交は研究チームでないとしたら「それは恥ずかしくないが縁遠い」ということは嘘だ
事実11: もし仮に「ある物は読み下すしそれにそれは所有権取得である」ということは誤りであるならばそれは所有権取得だということはない
事実12: もし仮にあの旧交ががっつくとしたらそのジオールはがっつく
事実13: 仮に「「何らかのものは見落とすということはないけれど使い易い」ということは確かだ」ということは事実でないとしたらそれは使い易くない
事実14: もし仮になにがしかのものは所有権取得でないなら「見落とさないし使い易い」ということは間違いだ
事実15: もし「この砂地は十短調だ一方で滲み始めない」ということは事実でないとしたら「そのジオールはがっつく」ということは事実だ
事実16: もしも「「低温だ」ということは確かである」物はあるとすれば「あのアイゼンは低温でなくておまけに膨らみ始めない」ということは事実でない
事実17: 「その過大投資ははち切れないし縁遠いということはない」ということは成り立たない
事実18: 仮に「あの旧交は恥ずかしくない」ということは確かであるとすると「がっつかないしさらに縁遠くない」ということは嘘である
事実19: そのジオールは研究チームでない
事実20: そのジオールはがっつくとすれば「あの旧交は低温でなくてしかも研究チームでない」ということは間違っている
事実21: あの旧交は研究チームでない

仮説: そのジオールはがっつく
1. 事実9と事実21から、推論1: "「あの旧交は恥ずかしくないしまた縁遠くない」ということは事実と異なる"が導かれる
2. 推論1と事実1から、仮説が否定される

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