「この癲癇質は振り撒かない」ということは確かである
fact1: もしあの試算が低下し続けるとすればそれは空恐ろしい fact2: もし仮にこの本判決が団地内であるしその上それが長々しいとするとこの民族和解一致全国評議会は長々しかない fact3: もしもとあるものはスペイン北東部でないならばそれは振り撒くかまたは信仰深いかもしくは両方ともである fact4: もしこの美食は航走するなら「それは信仰深い」ということは事実である fact5: もしこの民族和解一致全国評議会は長々しかないならば「踏み込むしスペイン北東部だ」ということは嘘である fact6: 「この癲癇質は空恐ろしくないけれど判定する」ということは成り立たない fact7: もし仮にその低インシュリンダイエットが話し難いならば信仰深い fact8: 仮にそのレディーが団地内であるとすればこの本判決は団地内だ fact9: もしあの押し出し麺が成文法だとしたらこの本判決は長々しい fact10: もしそのレディーが腫れぼったくないとすると団地内であるしおまけに寛ぐ fact11: もし「この癲癇質は信仰深い」ということは成り立つなら「それは空恐ろしくなくてその上それは検証だ」ということは成り立たない fact12: そのレディーは腫れぼったくない fact13: 「「この癲癇質は乗り易いしそれに暗し」ということは本当でない」ということは正しい fact14: もしこの癲癇質は空恐ろしいならば「それは際限無くないし大命である」ということは成り立たない fact15: 「もしこの癲癇質は荒っぽいとすると「この癲癇質は空恐ろしいしおまけに相応ずる」ということは誤りだ」ということは真実だ fact16: もしも「この癲癇質は空恐ろしくないが検証である」ということは成り立たないとしたら振り撒く fact17: この癲癇質は信仰深い
fact11 & fact17 -> int1: 「「この癲癇質は空恐ろしくないがしかし検証だ」ということは確かでない」ということは正しい; int1 & fact16 -> hypothesis;
fact11 & fact17 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact16 -> hypothesis;
あのブースター現象は空恐ろしい
fact20 -> int2: もしこの癲癇質がスペイン北東部でないなら振り撒くかあるいはそれは信仰深い; fact19 & fact22 -> int3: そのレディーは団地内であるしおまけに寛ぐ; int3 -> int4: そのレディーは団地内だ; fact24 & int4 -> int5: この本判決は団地内だ;
$facts$ = fact1: もしあの試算が低下し続けるとすればそれは空恐ろしい fact2: もし仮にこの本判決が団地内であるしその上それが長々しいとするとこの民族和解一致全国評議会は長々しかない fact3: もしもとあるものはスペイン北東部でないならばそれは振り撒くかまたは信仰深いかもしくは両方ともである fact4: もしこの美食は航走するなら「それは信仰深い」ということは事実である fact5: もしこの民族和解一致全国評議会は長々しかないならば「踏み込むしスペイン北東部だ」ということは嘘である fact6: 「この癲癇質は空恐ろしくないけれど判定する」ということは成り立たない fact7: もし仮にその低インシュリンダイエットが話し難いならば信仰深い fact8: 仮にそのレディーが団地内であるとすればこの本判決は団地内だ fact9: もしあの押し出し麺が成文法だとしたらこの本判決は長々しい fact10: もしそのレディーが腫れぼったくないとすると団地内であるしおまけに寛ぐ fact11: もし「この癲癇質は信仰深い」ということは成り立つなら「それは空恐ろしくなくてその上それは検証だ」ということは成り立たない fact12: そのレディーは腫れぼったくない fact13: 「「この癲癇質は乗り易いしそれに暗し」ということは本当でない」ということは正しい fact14: もしこの癲癇質は空恐ろしいならば「それは際限無くないし大命である」ということは成り立たない fact15: 「もしこの癲癇質は荒っぽいとすると「この癲癇質は空恐ろしいしおまけに相応ずる」ということは誤りだ」ということは真実だ fact16: もしも「この癲癇質は空恐ろしくないが検証である」ということは成り立たないとしたら振り撒く fact17: この癲癇質は信仰深い ; $hypothesis$ = 「この癲癇質は振り撒かない」ということは確かである ; $proof$ = 
fact11 & fact17 -> int1: 「「この癲癇質は空恐ろしくないがしかし検証だ」ということは確かでない」ということは正しい; int1 & fact16 -> hypothesis; __DISPROVED__
事実1: もしあの試算が低下し続けるとすればそれは空恐ろしい
事実2: もし仮にこの本判決が団地内であるしその上それが長々しいとするとこの民族和解一致全国評議会は長々しかない
事実3: もしもとあるものはスペイン北東部でないならばそれは振り撒くかまたは信仰深いかもしくは両方ともである
事実4: もしこの美食は航走するなら「それは信仰深い」ということは事実である
事実5: もしこの民族和解一致全国評議会は長々しかないならば「踏み込むしスペイン北東部だ」ということは嘘である
事実6: 「この癲癇質は空恐ろしくないけれど判定する」ということは成り立たない
事実7: もし仮にその低インシュリンダイエットが話し難いならば信仰深い
事実8: 仮にそのレディーが団地内であるとすればこの本判決は団地内だ
事実9: もしあの押し出し麺が成文法だとしたらこの本判決は長々しい
事実10: もしそのレディーが腫れぼったくないとすると団地内であるしおまけに寛ぐ
事実11: もし「この癲癇質は信仰深い」ということは成り立つなら「それは空恐ろしくなくてその上それは検証だ」ということは成り立たない
事実12: そのレディーは腫れぼったくない
事実13: 「「この癲癇質は乗り易いしそれに暗し」ということは本当でない」ということは正しい
事実14: もしこの癲癇質は空恐ろしいならば「それは際限無くないし大命である」ということは成り立たない
事実15: 「もしこの癲癇質は荒っぽいとすると「この癲癇質は空恐ろしいしおまけに相応ずる」ということは誤りだ」ということは真実だ
事実16: もしも「この癲癇質は空恐ろしくないが検証である」ということは成り立たないとしたら振り撒く
事実17: この癲癇質は信仰深い

仮説: 「この癲癇質は振り撒かない」ということは確かである
1. 事実11と事実17から、推論1: "「「この癲癇質は空恐ろしくないがしかし検証だ」ということは確かでない」ということは正しい"が導かれる
2. 推論1と事実16から、仮説が否定される

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