「「もし苦しみ続けないとするとＨＡでなくて定義出来ない」物はある」ということは成り立たない
fact1: もし「その擁立は苦しみ続けない」ということは本当だとするとＨＡでなくて定義出来る fact2: 「小茄子でないならば眠いということはないしおまけに動かし続けない」物はある fact3: もしその擁立が移建しないならそれはＨＡでなくて加えてそれはシャワー・ド・バスでない fact4: 仮に「その擁立は苦しみ続ける」ということは成り立つとするとＨＡでなくてそれに定義出来ない fact5: その擁立が苦しみ続けないならばそれはＨＡでない fact6: 「仮に苦しみ続けないならば定義出来ない」物はある fact7: 「もし苦しみ続けるということはないならＨＡだし定義出来ない」物はある fact8: 「仮に「苦しみ続けるということはない」ということは事実ならばＨＡでなくて更に定義出来る」物はある fact9: もしその擁立が苦しみ続けないならばＨＡだということはないし更に定義出来ない fact10: 「もし解毒しないとすると捕獲するということはない」物はある fact11: 倹しかない物が差し出はましくらなくてしかも定義出来ない fact12: 「仮に苦しみ続けるならＨＡでなくておまけに定義出来ない」物はある
fact9 -> hypothesis;
仮に「その擁立は倹しい」ということは誤っているなら差し出がましいということはなくてそれに定義出来ない
fact13 -> hypothesis;
$facts$ = fact1: もし「その擁立は苦しみ続けない」ということは本当だとするとＨＡでなくて定義出来る fact2: 「小茄子でないならば眠いということはないしおまけに動かし続けない」物はある fact3: もしその擁立が移建しないならそれはＨＡでなくて加えてそれはシャワー・ド・バスでない fact4: 仮に「その擁立は苦しみ続ける」ということは成り立つとするとＨＡでなくてそれに定義出来ない fact5: その擁立が苦しみ続けないならばそれはＨＡでない fact6: 「仮に苦しみ続けないならば定義出来ない」物はある fact7: 「もし苦しみ続けるということはないならＨＡだし定義出来ない」物はある fact8: 「仮に「苦しみ続けるということはない」ということは事実ならばＨＡでなくて更に定義出来る」物はある fact9: もしその擁立が苦しみ続けないならばＨＡだということはないし更に定義出来ない fact10: 「もし解毒しないとすると捕獲するということはない」物はある fact11: 倹しかない物が差し出はましくらなくてしかも定義出来ない fact12: 「仮に苦しみ続けるならＨＡでなくておまけに定義出来ない」物はある ; $hypothesis$ = 「「もし苦しみ続けないとするとＨＡでなくて定義出来ない」物はある」ということは成り立たない ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: もし「その擁立は苦しみ続けない」ということは本当だとするとＨＡでなくて定義出来る
事実2: 「小茄子でないならば眠いということはないしおまけに動かし続けない」物はある
事実3: もしその擁立が移建しないならそれはＨＡでなくて加えてそれはシャワー・ド・バスでない
事実4: 仮に「その擁立は苦しみ続ける」ということは成り立つとするとＨＡでなくてそれに定義出来ない
事実5: その擁立が苦しみ続けないならばそれはＨＡでない
事実6: 「仮に苦しみ続けないならば定義出来ない」物はある
事実7: 「もし苦しみ続けるということはないならＨＡだし定義出来ない」物はある
事実8: 「仮に「苦しみ続けるということはない」ということは事実ならばＨＡでなくて更に定義出来る」物はある
事実9: もしその擁立が苦しみ続けないならばＨＡだということはないし更に定義出来ない
事実10: 「もし解毒しないとすると捕獲するということはない」物はある
事実11: 倹しかない物が差し出はましくらなくてしかも定義出来ない
事実12: 「仮に苦しみ続けるならＨＡでなくておまけに定義出来ない」物はある

仮説: 「「もし苦しみ続けないとするとＨＡでなくて定義出来ない」物はある」ということは成り立たない
1. 事実9から、仮説が否定される

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