あの国会議事堂は民主化するということはない
fact1: この銃火は民主化するし懐中する fact2: この銃火は騙す fact3: この史上最年少は受験者用ＦＤだ fact4: この銃火は無声化し易くてそれは打ち掛ける fact5: この回送は民主化する fact6: 「この銃火は求め合うということはない」ということは成り立たない fact7: この銃火は民主化するしそれは騙す fact8: あの国会議事堂は受験者用ＦＤだ fact9: その北方民族は騙す fact10: もし仮にこの銃火が民主化するとしたらあの国会議事堂は受験者用ＦＤだ fact11: 仮にこの銃火が受験者用ＦＤであるならばあの国会議事堂は民主化する fact12: もしもこの銃火が民主化するならあの国会議事堂は騙す fact13: この銃火は民主化する fact14: この銃火はゴシック式である fact15: この銃火は騙すしさらに民主化する fact16: あの国会議事堂は借り受ける fact17: この銃火が騙すとしたらあの国会議事堂は受験者用ＦＤである fact18: この銃火は幅広い fact19: この銃火は温い fact20: この銃火は騙すしそれは受験者用ＦＤだ
fact20 -> int1: この銃火は受験者用ＦＤだ; int1 & fact11 -> hypothesis;
$facts$ = fact1: この銃火は民主化するし懐中する fact2: この銃火は騙す fact3: この史上最年少は受験者用ＦＤだ fact4: この銃火は無声化し易くてそれは打ち掛ける fact5: この回送は民主化する fact6: 「この銃火は求め合うということはない」ということは成り立たない fact7: この銃火は民主化するしそれは騙す fact8: あの国会議事堂は受験者用ＦＤだ fact9: その北方民族は騙す fact10: もし仮にこの銃火が民主化するとしたらあの国会議事堂は受験者用ＦＤだ fact11: 仮にこの銃火が受験者用ＦＤであるならばあの国会議事堂は民主化する fact12: もしもこの銃火が民主化するならあの国会議事堂は騙す fact13: この銃火は民主化する fact14: この銃火はゴシック式である fact15: この銃火は騙すしさらに民主化する fact16: あの国会議事堂は借り受ける fact17: この銃火が騙すとしたらあの国会議事堂は受験者用ＦＤである fact18: この銃火は幅広い fact19: この銃火は温い fact20: この銃火は騙すしそれは受験者用ＦＤだ ; $hypothesis$ = あの国会議事堂は民主化するということはない ; $proof$ = 
fact20 -> int1: この銃火は受験者用ＦＤだ; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: この銃火は民主化するし懐中する
事実2: この銃火は騙す
事実3: この史上最年少は受験者用ＦＤだ
事実4: この銃火は無声化し易くてそれは打ち掛ける
事実5: この回送は民主化する
事実6: 「この銃火は求め合うということはない」ということは成り立たない
事実7: この銃火は民主化するしそれは騙す
事実8: あの国会議事堂は受験者用ＦＤだ
事実9: その北方民族は騙す
事実10: もし仮にこの銃火が民主化するとしたらあの国会議事堂は受験者用ＦＤだ
事実11: 仮にこの銃火が受験者用ＦＤであるならばあの国会議事堂は民主化する
事実12: もしもこの銃火が民主化するならあの国会議事堂は騙す
事実13: この銃火は民主化する
事実14: この銃火はゴシック式である
事実15: この銃火は騙すしさらに民主化する
事実16: あの国会議事堂は借り受ける
事実17: この銃火が騙すとしたらあの国会議事堂は受験者用ＦＤである
事実18: この銃火は幅広い
事実19: この銃火は温い
事実20: この銃火は騙すしそれは受験者用ＦＤだ

仮説: あの国会議事堂は民主化するということはない
1. 事実20から、推論1: "この銃火は受験者用ＦＤだ"が導かれる
2. 推論1と事実11から、仮説が否定される

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