「「「もし仮に「後ろ暗くない」ということは本当ならば公式でない」ものはある」ということは事実だ」ということは成り立つということはない
fact1: もしこの神学校が尽き果てないとするとそれは病没しない fact2: もしその生産原価報告書は御夏でないとするとそれは乗車出来る fact3: 仮にある物は後ろ暗くないとすると「それはしぶとくない」ということは成り立つ fact4: 「「もし仮に最小線幅でないなら予防外交でない」ものはある」ということは成り立つ fact5: 「もしも禿げ上がらないとすれば試薬類でない」物はある fact6: 「辛抱強くないならば軍隊経験でない」物はある fact7: もしもあの記紀が後ろ暗くないとするとそれは商人らしくない fact8: 「仮に精根尽き果てないとすれば山岳区間でない」物はある fact9: 「もしもヤミ族でないなら求まらない」ものはある fact10: 「仮に後ろ暗いとすれば「公式でない」ということは成り立つ」物はある fact11: 「もし「禿げ上がらない」ということは成り立つとしたら基本戦略でない」ものはある fact12: もしその騒音性難聴以外が後ろ暗くないとすれば公式だ fact13: もし仮にこの最強戦が後ろ暗くないとするとそれは聞き辛くない fact14: 「仮に第三部長でないとすれば勉学しない」物はある fact15: 「もし仮に「禿げ上がらない」ということは成り立てば姦淫しない」ものはある fact16: 「もし仮に想像し易くないなら御話し出来ない」ものはある fact17: 仮に「その騒音性難聴以外は後ろ暗くない」ということは本当だとすれば公式だということはない fact18: その騒音性難聴以外が後ろ暗いなら公式でない fact19: 仮になんらかの物は組内でないとしたらそれは公式でない fact20: 「「後ろ暗くない」ということは本当だとすると公式な」ものはある fact21: 「もし併発するということはないとすれば「試合しない」ということは成り立つ」物はある
fact17 -> hypothesis;
もしもその書院は組内でないとすると公式であるということはない
fact22 -> hypothesis;
$facts$ = fact1: もしこの神学校が尽き果てないとするとそれは病没しない fact2: もしその生産原価報告書は御夏でないとするとそれは乗車出来る fact3: 仮にある物は後ろ暗くないとすると「それはしぶとくない」ということは成り立つ fact4: 「「もし仮に最小線幅でないなら予防外交でない」ものはある」ということは成り立つ fact5: 「もしも禿げ上がらないとすれば試薬類でない」物はある fact6: 「辛抱強くないならば軍隊経験でない」物はある fact7: もしもあの記紀が後ろ暗くないとするとそれは商人らしくない fact8: 「仮に精根尽き果てないとすれば山岳区間でない」物はある fact9: 「もしもヤミ族でないなら求まらない」ものはある fact10: 「仮に後ろ暗いとすれば「公式でない」ということは成り立つ」物はある fact11: 「もし「禿げ上がらない」ということは成り立つとしたら基本戦略でない」ものはある fact12: もしその騒音性難聴以外が後ろ暗くないとすれば公式だ fact13: もし仮にこの最強戦が後ろ暗くないとするとそれは聞き辛くない fact14: 「仮に第三部長でないとすれば勉学しない」物はある fact15: 「もし仮に「禿げ上がらない」ということは成り立てば姦淫しない」ものはある fact16: 「もし仮に想像し易くないなら御話し出来ない」ものはある fact17: 仮に「その騒音性難聴以外は後ろ暗くない」ということは本当だとすれば公式だということはない fact18: その騒音性難聴以外が後ろ暗いなら公式でない fact19: 仮になんらかの物は組内でないとしたらそれは公式でない fact20: 「「後ろ暗くない」ということは本当だとすると公式な」ものはある fact21: 「もし併発するということはないとすれば「試合しない」ということは成り立つ」物はある ; $hypothesis$ = 「「「もし仮に「後ろ暗くない」ということは本当ならば公式でない」ものはある」ということは事実だ」ということは成り立つということはない ; $proof$ = 
fact17 -> hypothesis; __DISPROVED__
事実1: もしこの神学校が尽き果てないとするとそれは病没しない
事実2: もしその生産原価報告書は御夏でないとするとそれは乗車出来る
事実3: 仮にある物は後ろ暗くないとすると「それはしぶとくない」ということは成り立つ
事実4: 「「もし仮に最小線幅でないなら予防外交でない」ものはある」ということは成り立つ
事実5: 「もしも禿げ上がらないとすれば試薬類でない」物はある
事実6: 「辛抱強くないならば軍隊経験でない」物はある
事実7: もしもあの記紀が後ろ暗くないとするとそれは商人らしくない
事実8: 「仮に精根尽き果てないとすれば山岳区間でない」物はある
事実9: 「もしもヤミ族でないなら求まらない」ものはある
事実10: 「仮に後ろ暗いとすれば「公式でない」ということは成り立つ」物はある
事実11: 「もし「禿げ上がらない」ということは成り立つとしたら基本戦略でない」ものはある
事実12: もしその騒音性難聴以外が後ろ暗くないとすれば公式だ
事実13: もし仮にこの最強戦が後ろ暗くないとするとそれは聞き辛くない
事実14: 「仮に第三部長でないとすれば勉学しない」物はある
事実15: 「もし仮に「禿げ上がらない」ということは成り立てば姦淫しない」ものはある
事実16: 「もし仮に想像し易くないなら御話し出来ない」ものはある
事実17: 仮に「その騒音性難聴以外は後ろ暗くない」ということは本当だとすれば公式だということはない
事実18: その騒音性難聴以外が後ろ暗いなら公式でない
事実19: 仮になんらかの物は組内でないとしたらそれは公式でない
事実20: 「「後ろ暗くない」ということは本当だとすると公式な」ものはある
事実21: 「もし併発するということはないとすれば「試合しない」ということは成り立つ」物はある

仮説: 「「「もし仮に「後ろ暗くない」ということは本当ならば公式でない」ものはある」ということは事実だ」ということは成り立つということはない
1. 事実17から、仮説が否定される

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