「「もし仮に貰えるしかつ古めかしいとすると徒労でない」物はある」ということは間違いである
fact1: 仮になにかはマルテンパであるしかつ儀式化するとすればそれは源家でない fact2: もし仮にとある物は貰えるしさらに古めかしいとすると徒労でない fact3: 「仮に死亡前であるし図々しいとしたらエトルリア人である」物はある fact4: もし仮に何かは苦闘するしそれはバルメン宣言であるならばそれは源家である fact5: もし仮に「あの屋根替えは労労じし貰える」ということは真実であるならば「それは退色し易い」ということは成り立つ fact6: 「もしもグローバル性で節減出来るとしたらオイルウォーマーな」ものはある fact7: もしもあの醵金が徒労であるし定番ならば退色し易いということはない fact8: 「もしも貰えるしその上古めかしいなら徒労である」ものはある fact9: 仮にあの醵金が発案するし見合うとすればそれは貰えない fact10: もし仮にあの近代的社会福祉が花束贈呈であるしそれは徒労であるとするとそれは打ち続けない fact11: もしも幼い物が歩き難いとするとマラヤ版でない fact12: もしも何かは貰えるしまた古めかしいとしたらそれは徒労だ
fact2 -> int1: もしあの醵金は貰えるしそれに古めかしいならそれは徒労でない; int1 -> hypothesis;
$facts$ = fact1: 仮になにかはマルテンパであるしかつ儀式化するとすればそれは源家でない fact2: もし仮にとある物は貰えるしさらに古めかしいとすると徒労でない fact3: 「仮に死亡前であるし図々しいとしたらエトルリア人である」物はある fact4: もし仮に何かは苦闘するしそれはバルメン宣言であるならばそれは源家である fact5: もし仮に「あの屋根替えは労労じし貰える」ということは真実であるならば「それは退色し易い」ということは成り立つ fact6: 「もしもグローバル性で節減出来るとしたらオイルウォーマーな」ものはある fact7: もしもあの醵金が徒労であるし定番ならば退色し易いということはない fact8: 「もしも貰えるしその上古めかしいなら徒労である」ものはある fact9: 仮にあの醵金が発案するし見合うとすればそれは貰えない fact10: もし仮にあの近代的社会福祉が花束贈呈であるしそれは徒労であるとするとそれは打ち続けない fact11: もしも幼い物が歩き難いとするとマラヤ版でない fact12: もしも何かは貰えるしまた古めかしいとしたらそれは徒労だ ; $hypothesis$ = 「「もし仮に貰えるしかつ古めかしいとすると徒労でない」物はある」ということは間違いである ; $proof$ = 
fact2 -> int1: もしあの醵金は貰えるしそれに古めかしいならそれは徒労でない; int1 -> hypothesis; __DISPROVED__
事実1: 仮になにかはマルテンパであるしかつ儀式化するとすればそれは源家でない
事実2: もし仮にとある物は貰えるしさらに古めかしいとすると徒労でない
事実3: 「仮に死亡前であるし図々しいとしたらエトルリア人である」物はある
事実4: もし仮に何かは苦闘するしそれはバルメン宣言であるならばそれは源家である
事実5: もし仮に「あの屋根替えは労労じし貰える」ということは真実であるならば「それは退色し易い」ということは成り立つ
事実6: 「もしもグローバル性で節減出来るとしたらオイルウォーマーな」ものはある
事実7: もしもあの醵金が徒労であるし定番ならば退色し易いということはない
事実8: 「もしも貰えるしその上古めかしいなら徒労である」ものはある
事実9: 仮にあの醵金が発案するし見合うとすればそれは貰えない
事実10: もし仮にあの近代的社会福祉が花束贈呈であるしそれは徒労であるとするとそれは打ち続けない
事実11: もしも幼い物が歩き難いとするとマラヤ版でない
事実12: もしも何かは貰えるしまた古めかしいとしたらそれは徒労だ

仮説: 「「もし仮に貰えるしかつ古めかしいとすると徒労でない」物はある」ということは間違いである
1. 事実2から、推論1: "もしあの醵金は貰えるしそれに古めかしいならそれは徒労でない"が導かれる
2. 推論1から、仮説が否定される

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