「仮に品定めするということはないとすると調和し難くないし追い払わない」物はある
fact1: 仮に「その余白部分は物語文でない」ということは正しいならそれは右側通行でないし加えてマカロンでない fact2: なんらかのものがおしゃぶりでないとすればそれは飛び退るということはなくて凭せ掛けるということはない fact3: 「仮に射程外でないとすると進入しない」ものはある fact4: 「仮に品定めしないとしたら調和し難くないけれど追い払う」物はある fact5: 「仮に品定めするなら調和し難くないしまた追い払わない」ものはある fact6: もし「あの消費税率引き上げは規則正しい」ということは成り立つとすればそれは調和し難くないしおまけにうろちょろしない fact7: もしもあのＡ系統が品定めするとすると調和し難くないし加えて追い払わない fact8: 「もしも品定めするということはないとすれば「調和し難いということはない」ということは本当な」物はある fact9: もしあのＡ系統が品定めしないならそれは調和し難くないしそれは追い払わない fact10: 「もし品定めしないなら追い払わない」物はある fact11: 何かは伸し上がらないとすると追い払うということはないしその上妥協出来ない fact12: 「もし品定めしないとすると調和し難いしその上追い払わない」ものはある fact13: もしあのＡ系統が品定めしないとしたらそれは調和し難い一方で追い払わない fact14: 仮になにがしかの物が品定めするということはないとすれば伸ばし掛けるということはなくてしかも物語文でない fact15: 「もし仮に正味でないなら忙しなくない」ものはある fact16: もしもあのＡ系統が品定めしないとすればそれは追い払わない
fact9 -> hypothesis;
「おしゃぶりでないとしたら飛び退るということはないし凭せ掛けない」物はある
fact17 -> int1: 仮にその四十八巻伝はおしゃぶりでないならばそれは飛び退らないししかも凭せ掛けない; int1 -> hypothesis;
$facts$ = fact1: 仮に「その余白部分は物語文でない」ということは正しいならそれは右側通行でないし加えてマカロンでない fact2: なんらかのものがおしゃぶりでないとすればそれは飛び退るということはなくて凭せ掛けるということはない fact3: 「仮に射程外でないとすると進入しない」ものはある fact4: 「仮に品定めしないとしたら調和し難くないけれど追い払う」物はある fact5: 「仮に品定めするなら調和し難くないしまた追い払わない」ものはある fact6: もし「あの消費税率引き上げは規則正しい」ということは成り立つとすればそれは調和し難くないしおまけにうろちょろしない fact7: もしもあのＡ系統が品定めするとすると調和し難くないし加えて追い払わない fact8: 「もしも品定めするということはないとすれば「調和し難いということはない」ということは本当な」物はある fact9: もしあのＡ系統が品定めしないならそれは調和し難くないしそれは追い払わない fact10: 「もし品定めしないなら追い払わない」物はある fact11: 何かは伸し上がらないとすると追い払うということはないしその上妥協出来ない fact12: 「もし品定めしないとすると調和し難いしその上追い払わない」ものはある fact13: もしあのＡ系統が品定めしないとしたらそれは調和し難い一方で追い払わない fact14: 仮になにがしかの物が品定めするということはないとすれば伸ばし掛けるということはなくてしかも物語文でない fact15: 「もし仮に正味でないなら忙しなくない」ものはある fact16: もしもあのＡ系統が品定めしないとすればそれは追い払わない ; $hypothesis$ = 「仮に品定めするということはないとすると調和し難くないし追い払わない」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 仮に「その余白部分は物語文でない」ということは正しいならそれは右側通行でないし加えてマカロンでない
事実2: なんらかのものがおしゃぶりでないとすればそれは飛び退るということはなくて凭せ掛けるということはない
事実3: 「仮に射程外でないとすると進入しない」ものはある
事実4: 「仮に品定めしないとしたら調和し難くないけれど追い払う」物はある
事実5: 「仮に品定めするなら調和し難くないしまた追い払わない」ものはある
事実6: もし「あの消費税率引き上げは規則正しい」ということは成り立つとすればそれは調和し難くないしおまけにうろちょろしない
事実7: もしもあのＡ系統が品定めするとすると調和し難くないし加えて追い払わない
事実8: 「もしも品定めするということはないとすれば「調和し難いということはない」ということは本当な」物はある
事実9: もしあのＡ系統が品定めしないならそれは調和し難くないしそれは追い払わない
事実10: 「もし品定めしないなら追い払わない」物はある
事実11: 何かは伸し上がらないとすると追い払うということはないしその上妥協出来ない
事実12: 「もし品定めしないとすると調和し難いしその上追い払わない」ものはある
事実13: もしあのＡ系統が品定めしないとしたらそれは調和し難い一方で追い払わない
事実14: 仮になにがしかの物が品定めするということはないとすれば伸ばし掛けるということはなくてしかも物語文でない
事実15: 「もし仮に正味でないなら忙しなくない」ものはある
事実16: もしもあのＡ系統が品定めしないとすればそれは追い払わない

仮説: 「仮に品定めするということはないとすると調和し難くないし追い払わない」物はある
1. 事実9から、仮説が導かれる

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