「あの民主化運動はダンスパーティーでない」ということは真実だ
fact1: あの民主化運動は笑気だ fact2: もしも凛々しい物が如何わしいということはないとすればそれは抜き返さない fact3: 「あの数年来は抜き返す」ということは成り立つ fact4: この四箇月後は読み出す fact5: もしもあの民主化運動が読み出すとすればあの数年来はダンスパーティーだ fact6: 腺重量は送受信する fact7: もしも何らかの物は抜き返さないならば「読み出さないしそれに楽しい」ということは成り立たない fact8: あの数年来は読み出す fact9: 仮にあの数年来が読み出すならこの雑穀は楽しい fact10: あの数年来は面映ゆい fact11: もしもあの民主化運動が楽しいとするとダンスパーティーだ fact12: もし仮に「「なんらかのものは読み出さないけど楽しい」ということは真実だ」ということは成り立たないとするとダンスパーティーでない fact13: 「この雑穀は抜き返す」ということは成り立つとしたらあの民主化運動はダンスパーティーだ fact14: もしもこの雑穀がダンスパーティーであるならあの民主化運動は楽しい fact15: この雑穀は読み出す fact16: 浮き易い物は腺重量である fact17: 「楽しいものは抜き返す」ということは正しい fact18: この申し立て債権者は楽しい fact19: あの文系は抜き返す
fact9 & fact8 -> int1: この雑穀は楽しい; fact17 -> int2: もしこの雑穀が楽しいならそれは抜き返す; int1 & int2 -> int3: この雑穀は抜き返す; int3 & fact13 -> hypothesis;
あの民主化運動はダンスパーティーでない
fact22 -> int4: もし「あの民主化運動は読み出さないがしかし楽しい」ということは成り立たないならそれはダンスパーティーであるということはない; fact20 -> int5: 仮にあの民主化運動は抜き返さないならば「読み出さないがしかし楽しい」ということは事実と異なる; fact21 -> int6: 仮にあの民主化運動が凛々しい一方でそれが如何わしいということはないなら抜き返さない;
$facts$ = fact1: あの民主化運動は笑気だ fact2: もしも凛々しい物が如何わしいということはないとすればそれは抜き返さない fact3: 「あの数年来は抜き返す」ということは成り立つ fact4: この四箇月後は読み出す fact5: もしもあの民主化運動が読み出すとすればあの数年来はダンスパーティーだ fact6: 腺重量は送受信する fact7: もしも何らかの物は抜き返さないならば「読み出さないしそれに楽しい」ということは成り立たない fact8: あの数年来は読み出す fact9: 仮にあの数年来が読み出すならこの雑穀は楽しい fact10: あの数年来は面映ゆい fact11: もしもあの民主化運動が楽しいとするとダンスパーティーだ fact12: もし仮に「「なんらかのものは読み出さないけど楽しい」ということは真実だ」ということは成り立たないとするとダンスパーティーでない fact13: 「この雑穀は抜き返す」ということは成り立つとしたらあの民主化運動はダンスパーティーだ fact14: もしもこの雑穀がダンスパーティーであるならあの民主化運動は楽しい fact15: この雑穀は読み出す fact16: 浮き易い物は腺重量である fact17: 「楽しいものは抜き返す」ということは正しい fact18: この申し立て債権者は楽しい fact19: あの文系は抜き返す ; $hypothesis$ = 「あの民主化運動はダンスパーティーでない」ということは真実だ ; $proof$ = 
fact9 & fact8 -> int1: この雑穀は楽しい; fact17 -> int2: もしこの雑穀が楽しいならそれは抜き返す; int1 & int2 -> int3: この雑穀は抜き返す; int3 & fact13 -> hypothesis; __DISPROVED__
事実1: あの民主化運動は笑気だ
事実2: もしも凛々しい物が如何わしいということはないとすればそれは抜き返さない
事実3: 「あの数年来は抜き返す」ということは成り立つ
事実4: この四箇月後は読み出す
事実5: もしもあの民主化運動が読み出すとすればあの数年来はダンスパーティーだ
事実6: 腺重量は送受信する
事実7: もしも何らかの物は抜き返さないならば「読み出さないしそれに楽しい」ということは成り立たない
事実8: あの数年来は読み出す
事実9: 仮にあの数年来が読み出すならこの雑穀は楽しい
事実10: あの数年来は面映ゆい
事実11: もしもあの民主化運動が楽しいとするとダンスパーティーだ
事実12: もし仮に「「なんらかのものは読み出さないけど楽しい」ということは真実だ」ということは成り立たないとするとダンスパーティーでない
事実13: 「この雑穀は抜き返す」ということは成り立つとしたらあの民主化運動はダンスパーティーだ
事実14: もしもこの雑穀がダンスパーティーであるならあの民主化運動は楽しい
事実15: この雑穀は読み出す
事実16: 浮き易い物は腺重量である
事実17: 「楽しいものは抜き返す」ということは正しい
事実18: この申し立て債権者は楽しい
事実19: あの文系は抜き返す

仮説: 「あの民主化運動はダンスパーティーでない」ということは真実だ
1. 事実9と事実8から、推論1: "この雑穀は楽しい"が導かれる
2. 事実17から、推論2: "もしこの雑穀が楽しいならそれは抜き返す"が導かれる
3. 推論1と推論2から、推論3: "この雑穀は抜き返す"が導かれる
4. 推論3と事実13から、仮説が否定される

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