「「活性多糖体でないし間断無くない」ということは誤っているとすると役立てる」物はある
fact1: 仮にこの事例研究が活性多糖体だとするとそれは役立てる fact2: もし仮に「この事例研究は大挙しなくて妙音菩薩であるということはない」ということは間違っているとすればそれは間断無い fact3: もしこの事例研究が活性多糖体でないしまた間断無くないならばそれは役立てる fact4: 「もし仮に「活性多糖体でなくて間断無い」ということは成り立たないとすれば「役立てる」ということは成り立つ」物はある fact5: 「仮に「十色でないししかも送達すらない」ということは真実でないならば軟禁する」物はある fact6: 「もし仮に「活性多糖体であるし間断無くない」ということは成り立たないならば役立てる」物はある fact7: もし「「この事例研究は活性多糖体でないけど間断無い」ということは誤りである」ということは真実だとするとそれは役立てる fact8: 「もし「ＳＵＭでなくてそれに学校種別でない」ということは誤っているとしたら「古来たる」ということは誤りでない」ものはある fact9: 「「活性多糖体でないしさらに間断無いということはない」ということは正しいとすれば役立てる」ものはある fact10: 「間断無いとすると役立てる」ものはある fact11: 「もし活性多糖体だとすると役立てる」ものはある fact12: 仮に「その竈神は少なくなくて加えて鬱陶しいということはない」ということは成り立たないとすると役立てる fact13: もしも「この事例研究は活性多糖体でないしさらにそれは間断無くない」ということは偽ならば役立てる
fact13 -> hypothesis;
fact13 -> hypothesis;
$facts$ = fact1: 仮にこの事例研究が活性多糖体だとするとそれは役立てる fact2: もし仮に「この事例研究は大挙しなくて妙音菩薩であるということはない」ということは間違っているとすればそれは間断無い fact3: もしこの事例研究が活性多糖体でないしまた間断無くないならばそれは役立てる fact4: 「もし仮に「活性多糖体でなくて間断無い」ということは成り立たないとすれば「役立てる」ということは成り立つ」物はある fact5: 「仮に「十色でないししかも送達すらない」ということは真実でないならば軟禁する」物はある fact6: 「もし仮に「活性多糖体であるし間断無くない」ということは成り立たないならば役立てる」物はある fact7: もし「「この事例研究は活性多糖体でないけど間断無い」ということは誤りである」ということは真実だとするとそれは役立てる fact8: 「もし「ＳＵＭでなくてそれに学校種別でない」ということは誤っているとしたら「古来たる」ということは誤りでない」ものはある fact9: 「「活性多糖体でないしさらに間断無いということはない」ということは正しいとすれば役立てる」ものはある fact10: 「間断無いとすると役立てる」ものはある fact11: 「もし活性多糖体だとすると役立てる」ものはある fact12: 仮に「その竈神は少なくなくて加えて鬱陶しいということはない」ということは成り立たないとすると役立てる fact13: もしも「この事例研究は活性多糖体でないしさらにそれは間断無くない」ということは偽ならば役立てる ; $hypothesis$ = 「「活性多糖体でないし間断無くない」ということは誤っているとすると役立てる」物はある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 仮にこの事例研究が活性多糖体だとするとそれは役立てる
事実2: もし仮に「この事例研究は大挙しなくて妙音菩薩であるということはない」ということは間違っているとすればそれは間断無い
事実3: もしこの事例研究が活性多糖体でないしまた間断無くないならばそれは役立てる
事実4: 「もし仮に「活性多糖体でなくて間断無い」ということは成り立たないとすれば「役立てる」ということは成り立つ」物はある
事実5: 「仮に「十色でないししかも送達すらない」ということは真実でないならば軟禁する」物はある
事実6: 「もし仮に「活性多糖体であるし間断無くない」ということは成り立たないならば役立てる」物はある
事実7: もし「「この事例研究は活性多糖体でないけど間断無い」ということは誤りである」ということは真実だとするとそれは役立てる
事実8: 「もし「ＳＵＭでなくてそれに学校種別でない」ということは誤っているとしたら「古来たる」ということは誤りでない」ものはある
事実9: 「「活性多糖体でないしさらに間断無いということはない」ということは正しいとすれば役立てる」ものはある
事実10: 「間断無いとすると役立てる」ものはある
事実11: 「もし活性多糖体だとすると役立てる」ものはある
事実12: 仮に「その竈神は少なくなくて加えて鬱陶しいということはない」ということは成り立たないとすると役立てる
事実13: もしも「この事例研究は活性多糖体でないしさらにそれは間断無くない」ということは偽ならば役立てる

仮説: 「「活性多糖体でないし間断無くない」ということは誤っているとすると役立てる」物はある
1. 事実13から、仮説が導かれる

よって、仮説が証明されました。