「「行き難いということはないとしたら痛くない」ものはある」ということは成り立たない
fact1: 「行き難くないとすると痛い」物はある fact2: もし仮にこの韓国軍が共感出来ないとするとそれはハーフィンダール指数でない fact3: 「その映画完成保証保険会社は世界遺産登録でない」ということは誤りでないならそれは行き難くない fact4: 「「行き難いとしたら痛くない」ものはある」ということは正しい fact5: 「あの立憲革命が行き難くないとすればあの立憲革命はイベント用であるということはない」ということは成り立つ fact6: 「「男の子らしくないなら殺せない」物はある」ということは確かである fact7: 仮にあの立憲革命は期し難くないとしたらそれは艦影であるということはない fact8: もし仮にあの立憲革命が行き難いとするとそれは痛いということはない fact9: もしあの立憲革命が行き難くないならそれは痛くない fact10: あの立憲革命が行き難いということはないとするとそれは痛い fact11: あの立憲革命が行き難いということはないならば軽ーくない fact12: 「もし蒸し暑くないとすれば取り辛くない」物はある fact13: 仮にあの立憲革命が演繹するということはないならそれは日本学でない fact14: もし仮に何らかの物が退官しないとすると故無いということはない
fact9 -> hypothesis;
「仮に退官しないとすれば「故無くない」ということは成り立つ」物はある
fact15 -> int1: もし仮にあの省令別表が退官しないとするとそれは故無くない; int1 -> hypothesis;
$facts$ = fact1: 「行き難くないとすると痛い」物はある fact2: もし仮にこの韓国軍が共感出来ないとするとそれはハーフィンダール指数でない fact3: 「その映画完成保証保険会社は世界遺産登録でない」ということは誤りでないならそれは行き難くない fact4: 「「行き難いとしたら痛くない」ものはある」ということは正しい fact5: 「あの立憲革命が行き難くないとすればあの立憲革命はイベント用であるということはない」ということは成り立つ fact6: 「「男の子らしくないなら殺せない」物はある」ということは確かである fact7: 仮にあの立憲革命は期し難くないとしたらそれは艦影であるということはない fact8: もし仮にあの立憲革命が行き難いとするとそれは痛いということはない fact9: もしあの立憲革命が行き難くないならそれは痛くない fact10: あの立憲革命が行き難いということはないとするとそれは痛い fact11: あの立憲革命が行き難いということはないならば軽ーくない fact12: 「もし蒸し暑くないとすれば取り辛くない」物はある fact13: 仮にあの立憲革命が演繹するということはないならそれは日本学でない fact14: もし仮に何らかの物が退官しないとすると故無いということはない ; $hypothesis$ = 「「行き難いということはないとしたら痛くない」ものはある」ということは成り立たない ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: 「行き難くないとすると痛い」物はある
事実2: もし仮にこの韓国軍が共感出来ないとするとそれはハーフィンダール指数でない
事実3: 「その映画完成保証保険会社は世界遺産登録でない」ということは誤りでないならそれは行き難くない
事実4: 「「行き難いとしたら痛くない」ものはある」ということは正しい
事実5: 「あの立憲革命が行き難くないとすればあの立憲革命はイベント用であるということはない」ということは成り立つ
事実6: 「「男の子らしくないなら殺せない」物はある」ということは確かである
事実7: 仮にあの立憲革命は期し難くないとしたらそれは艦影であるということはない
事実8: もし仮にあの立憲革命が行き難いとするとそれは痛いということはない
事実9: もしあの立憲革命が行き難くないならそれは痛くない
事実10: あの立憲革命が行き難いということはないとするとそれは痛い
事実11: あの立憲革命が行き難いということはないならば軽ーくない
事実12: 「もし蒸し暑くないとすれば取り辛くない」物はある
事実13: 仮にあの立憲革命が演繹するということはないならそれは日本学でない
事実14: もし仮に何らかの物が退官しないとすると故無いということはない

仮説: 「「行き難いということはないとしたら痛くない」ものはある」ということは成り立たない
1. 事実9から、仮説が否定される

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