「「仮に御下げ髪であるならば「打ち難くないがしかし干し上げる」ということは誤っている」物はある」ということは誤りだ
fact1: 「「実現し易い」ということは正しいならば「恥ずかしいしさらにとろ臭い」ということは成り立たない」ものはある fact2: この御気は受け難いとすれば「それは干し上げないしそれはスキャンする」ということは確かでない fact3: この御気は差し入れなら「ＣＳ放送でなくて加えて打ち難い」ということは事実と異なる fact4: もしとある物は御茶碗だとすれば「それは利用し易くないがしかし高速走行だ」ということは事実と異なる fact5: もし仮にとあるものは御下げ髪だとすれば「それは打ち難くないけれど干し上げる」ということは偽だ fact6: 御下げ髪は打ち難くないけど干し上げる fact7: もしもあの兼好法師は遅れ易いならば「それは読み難くないがしかし御下げ髪である」ということは成り立たない fact8: もしも「この御気は取り戻し始める」ということは成り立つとすれば「それは時給でなくてそれは源泉徴収だ」ということは誤りだ fact9: もし仮にその西詰めがいみじとすれば弥生時代でなくて更にそれは御下げ髪である fact10: 仮になにがしかの物は出難いとしたら「滑膜だしそれに落ち着き払う」ということは嘘である fact11: もしこの御気が走り抜けば水田でない一方で御下げ髪である fact12: 「仮に御存じ無いとすれば「走り抜かなくてしかも漢字変換だ」ということは誤っている」ものはある fact13: もしもなにがしかのものは青臭いとすれば「本当らしいし更に齎す」ということは成り立たない fact14: この御気は御下げ髪であるとしたら「打ち難いしそれに干し上げる」ということは間違っている fact15: とあるものは赤らめれば「それは秘書歴であるしそれに把握し難い」ということは成り立たない fact16: もしもこの御気は捨て置くとしたら「打ち難くないけど君らしい」ということは事実だ fact17: この御気が悪賢いとすれば誤り無くないし更に生々しい fact18: 「三百種類だとすれば「小気味良いしリザードマン達だ」ということは成り立たない」ものはある
fact5 -> int1: もしもこの御気は御下げ髪であるとすると「打ち難くなくておまけにそれは干し上げる」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: 「「実現し易い」ということは正しいならば「恥ずかしいしさらにとろ臭い」ということは成り立たない」ものはある fact2: この御気は受け難いとすれば「それは干し上げないしそれはスキャンする」ということは確かでない fact3: この御気は差し入れなら「ＣＳ放送でなくて加えて打ち難い」ということは事実と異なる fact4: もしとある物は御茶碗だとすれば「それは利用し易くないがしかし高速走行だ」ということは事実と異なる fact5: もし仮にとあるものは御下げ髪だとすれば「それは打ち難くないけれど干し上げる」ということは偽だ fact6: 御下げ髪は打ち難くないけど干し上げる fact7: もしもあの兼好法師は遅れ易いならば「それは読み難くないがしかし御下げ髪である」ということは成り立たない fact8: もしも「この御気は取り戻し始める」ということは成り立つとすれば「それは時給でなくてそれは源泉徴収だ」ということは誤りだ fact9: もし仮にその西詰めがいみじとすれば弥生時代でなくて更にそれは御下げ髪である fact10: 仮になにがしかの物は出難いとしたら「滑膜だしそれに落ち着き払う」ということは嘘である fact11: もしこの御気が走り抜けば水田でない一方で御下げ髪である fact12: 「仮に御存じ無いとすれば「走り抜かなくてしかも漢字変換だ」ということは誤っている」ものはある fact13: もしもなにがしかのものは青臭いとすれば「本当らしいし更に齎す」ということは成り立たない fact14: この御気は御下げ髪であるとしたら「打ち難いしそれに干し上げる」ということは間違っている fact15: とあるものは赤らめれば「それは秘書歴であるしそれに把握し難い」ということは成り立たない fact16: もしもこの御気は捨て置くとしたら「打ち難くないけど君らしい」ということは事実だ fact17: この御気が悪賢いとすれば誤り無くないし更に生々しい fact18: 「三百種類だとすれば「小気味良いしリザードマン達だ」ということは成り立たない」ものはある ; $hypothesis$ = 「「仮に御下げ髪であるならば「打ち難くないがしかし干し上げる」ということは誤っている」物はある」ということは誤りだ ; $proof$ = 
fact5 -> int1: もしもこの御気は御下げ髪であるとすると「打ち難くなくておまけにそれは干し上げる」ということは間違っている; int1 -> hypothesis; __DISPROVED__
事実1: 「「実現し易い」ということは正しいならば「恥ずかしいしさらにとろ臭い」ということは成り立たない」ものはある
事実2: この御気は受け難いとすれば「それは干し上げないしそれはスキャンする」ということは確かでない
事実3: この御気は差し入れなら「ＣＳ放送でなくて加えて打ち難い」ということは事実と異なる
事実4: もしとある物は御茶碗だとすれば「それは利用し易くないがしかし高速走行だ」ということは事実と異なる
事実5: もし仮にとあるものは御下げ髪だとすれば「それは打ち難くないけれど干し上げる」ということは偽だ
事実6: 御下げ髪は打ち難くないけど干し上げる
事実7: もしもあの兼好法師は遅れ易いならば「それは読み難くないがしかし御下げ髪である」ということは成り立たない
事実8: もしも「この御気は取り戻し始める」ということは成り立つとすれば「それは時給でなくてそれは源泉徴収だ」ということは誤りだ
事実9: もし仮にその西詰めがいみじとすれば弥生時代でなくて更にそれは御下げ髪である
事実10: 仮になにがしかの物は出難いとしたら「滑膜だしそれに落ち着き払う」ということは嘘である
事実11: もしこの御気が走り抜けば水田でない一方で御下げ髪である
事実12: 「仮に御存じ無いとすれば「走り抜かなくてしかも漢字変換だ」ということは誤っている」ものはある
事実13: もしもなにがしかのものは青臭いとすれば「本当らしいし更に齎す」ということは成り立たない
事実14: この御気は御下げ髪であるとしたら「打ち難いしそれに干し上げる」ということは間違っている
事実15: とあるものは赤らめれば「それは秘書歴であるしそれに把握し難い」ということは成り立たない
事実16: もしもこの御気は捨て置くとしたら「打ち難くないけど君らしい」ということは事実だ
事実17: この御気が悪賢いとすれば誤り無くないし更に生々しい
事実18: 「三百種類だとすれば「小気味良いしリザードマン達だ」ということは成り立たない」ものはある

仮説: 「「仮に御下げ髪であるならば「打ち難くないがしかし干し上げる」ということは誤っている」物はある」ということは誤りだ
1. 事実5から、推論1: "もしもこの御気は御下げ髪であるとすると「打ち難くなくておまけにそれは干し上げる」ということは間違っている"が導かれる
2. 推論1から、仮説が否定される

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