「「もし仮に「十三位でない」ということは成り立つとしたら室温である」ものはある」ということは誤りである
fact1: 何かは忍び難くないとすればそれは檜山入り口である fact2: 仮にその自尊心が十三位ならば室温だ fact3: もし仮に何らかのものが生まれ難いならそれは手厳しい fact4: もしも何かは十三位であるなら室温だ fact5: もし仮にその自尊心は東北大学付属図書館狩野文庫蔵であるとしたらそれは十三位である fact6: 「もし仮に信心深くないとすると「御辛い」ということは事実な」ものはある fact7: もしもこの裕福さは中小企業労働力確保法であるとしたらそれは室温である fact8: もしその自尊心は室温であるとすると刮げ落とす fact9: もし仮に何らかの物は十三位でないとしたら室温だ fact10: 「備え付けるとすればオペアンプである」ものはある fact11: 「十三位であるとすると室温な」物はある fact12: 「その自尊心は狭窄しない」ということは確かだとしたら支給額だ fact13: もしあるものが綴らないならそれは雪山である fact14: もし仮に何かは清潔保持であるということはないとするとそれは弧形だ
fact9 -> int1: 「仮にその自尊心が十三位でないとするとその自尊心は室温である」ということは事実だ; int1 -> hypothesis;
「もしも綴らないとすれば「雪山だ」ということは誤りでない」ものはある
fact15 -> int2: 仮にこの裕福さが綴るということはないとすると雪山である; int2 -> hypothesis;
$facts$ = fact1: 何かは忍び難くないとすればそれは檜山入り口である fact2: 仮にその自尊心が十三位ならば室温だ fact3: もし仮に何らかのものが生まれ難いならそれは手厳しい fact4: もしも何かは十三位であるなら室温だ fact5: もし仮にその自尊心は東北大学付属図書館狩野文庫蔵であるとしたらそれは十三位である fact6: 「もし仮に信心深くないとすると「御辛い」ということは事実な」ものはある fact7: もしもこの裕福さは中小企業労働力確保法であるとしたらそれは室温である fact8: もしその自尊心は室温であるとすると刮げ落とす fact9: もし仮に何らかの物は十三位でないとしたら室温だ fact10: 「備え付けるとすればオペアンプである」ものはある fact11: 「十三位であるとすると室温な」物はある fact12: 「その自尊心は狭窄しない」ということは確かだとしたら支給額だ fact13: もしあるものが綴らないならそれは雪山である fact14: もし仮に何かは清潔保持であるということはないとするとそれは弧形だ ; $hypothesis$ = 「「もし仮に「十三位でない」ということは成り立つとしたら室温である」ものはある」ということは誤りである ; $proof$ = 
fact9 -> int1: 「仮にその自尊心が十三位でないとするとその自尊心は室温である」ということは事実だ; int1 -> hypothesis; __DISPROVED__
事実1: 何かは忍び難くないとすればそれは檜山入り口である
事実2: 仮にその自尊心が十三位ならば室温だ
事実3: もし仮に何らかのものが生まれ難いならそれは手厳しい
事実4: もしも何かは十三位であるなら室温だ
事実5: もし仮にその自尊心は東北大学付属図書館狩野文庫蔵であるとしたらそれは十三位である
事実6: 「もし仮に信心深くないとすると「御辛い」ということは事実な」ものはある
事実7: もしもこの裕福さは中小企業労働力確保法であるとしたらそれは室温である
事実8: もしその自尊心は室温であるとすると刮げ落とす
事実9: もし仮に何らかの物は十三位でないとしたら室温だ
事実10: 「備え付けるとすればオペアンプである」ものはある
事実11: 「十三位であるとすると室温な」物はある
事実12: 「その自尊心は狭窄しない」ということは確かだとしたら支給額だ
事実13: もしあるものが綴らないならそれは雪山である
事実14: もし仮に何かは清潔保持であるということはないとするとそれは弧形だ

仮説: 「「もし仮に「十三位でない」ということは成り立つとしたら室温である」ものはある」ということは誤りである
1. 事実9から、推論1: "「仮にその自尊心が十三位でないとするとその自尊心は室温である」ということは事実だ"が導かれる
2. 推論1から、仮説が否定される

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