「競り上げなくてまた否定し難くないなら医局でない」ものはある
fact1: 「仮に競り上げるということはないし否定し難いということはないならば医局な」物はある fact2: 仮に可笑しないものが狙い難くないとすれば願い奉るということはない fact3: 「もし思さないし温くないとすると「投書しない」ということは確かな」ものはある fact4: もし仮にこの全庁共通は存続期間でなくてその上消費者行政でないなら否定し難くない fact5: 「仮に競り上げなくて否定し難いとしたら「医局でない」ということは本当である」ものはある fact6: もしもこの全庁共通が競り上げないし否定し難くないならば「それは医局だ」ということは真実だ fact7: もしこの全庁共通は否定し難くないしまた生活保護制度でないなら屈臂しない fact8: 仮にこの全庁共通は競り上げないけど否定し難いとしたら「医局でない」ということは真実だ fact9: 「もし競り上げるし否定し難くないとしたら医局でない」物はある fact10: もし仮にとあるものが出稼ぎ者数でないしその上それは眼窩前頭皮質でないなら目新しくない fact11: もしもこの指定等は否定し難いということはないし痩せ難くないとすると等しない fact12: この全庁共通はスナップしなくて更に言い過ぎないならば参入出来ない fact13: 仮にこの全庁共通が競り上げないしその上否定し難くないならばそれは医局でない fact14: この全庁共通が競り上げるがしかし否定し難くないとするとそれは医局でない fact15: もしあの指示表は否定し難くないし加えて左右され易くないならそれは休無しでない fact16: もしもあの瑕疵修補は競り上げなくて水場でないとしたらそれは例外無くない
fact13 -> hypothesis;
「「出稼ぎ者数でないしまた眼窩前頭皮質でないとすると目新しいということはない」物はある」ということは真実だ
fact17 -> int1: 仮にあの一都市が出稼ぎ者数でないしそれは眼窩前頭皮質でないとすると目新しくない; int1 -> hypothesis;
$facts$ = fact1: 「仮に競り上げるということはないし否定し難いということはないならば医局な」物はある fact2: 仮に可笑しないものが狙い難くないとすれば願い奉るということはない fact3: 「もし思さないし温くないとすると「投書しない」ということは確かな」ものはある fact4: もし仮にこの全庁共通は存続期間でなくてその上消費者行政でないなら否定し難くない fact5: 「仮に競り上げなくて否定し難いとしたら「医局でない」ということは本当である」ものはある fact6: もしもこの全庁共通が競り上げないし否定し難くないならば「それは医局だ」ということは真実だ fact7: もしこの全庁共通は否定し難くないしまた生活保護制度でないなら屈臂しない fact8: 仮にこの全庁共通は競り上げないけど否定し難いとしたら「医局でない」ということは真実だ fact9: 「もし競り上げるし否定し難くないとしたら医局でない」物はある fact10: もし仮にとあるものが出稼ぎ者数でないしその上それは眼窩前頭皮質でないなら目新しくない fact11: もしもこの指定等は否定し難いということはないし痩せ難くないとすると等しない fact12: この全庁共通はスナップしなくて更に言い過ぎないならば参入出来ない fact13: 仮にこの全庁共通が競り上げないしその上否定し難くないならばそれは医局でない fact14: この全庁共通が競り上げるがしかし否定し難くないとするとそれは医局でない fact15: もしあの指示表は否定し難くないし加えて左右され易くないならそれは休無しでない fact16: もしもあの瑕疵修補は競り上げなくて水場でないとしたらそれは例外無くない ; $hypothesis$ = 「競り上げなくてまた否定し難くないなら医局でない」ものはある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 「仮に競り上げるということはないし否定し難いということはないならば医局な」物はある
事実2: 仮に可笑しないものが狙い難くないとすれば願い奉るということはない
事実3: 「もし思さないし温くないとすると「投書しない」ということは確かな」ものはある
事実4: もし仮にこの全庁共通は存続期間でなくてその上消費者行政でないなら否定し難くない
事実5: 「仮に競り上げなくて否定し難いとしたら「医局でない」ということは本当である」ものはある
事実6: もしもこの全庁共通が競り上げないし否定し難くないならば「それは医局だ」ということは真実だ
事実7: もしこの全庁共通は否定し難くないしまた生活保護制度でないなら屈臂しない
事実8: 仮にこの全庁共通は競り上げないけど否定し難いとしたら「医局でない」ということは真実だ
事実9: 「もし競り上げるし否定し難くないとしたら医局でない」物はある
事実10: もし仮にとあるものが出稼ぎ者数でないしその上それは眼窩前頭皮質でないなら目新しくない
事実11: もしもこの指定等は否定し難いということはないし痩せ難くないとすると等しない
事実12: この全庁共通はスナップしなくて更に言い過ぎないならば参入出来ない
事実13: 仮にこの全庁共通が競り上げないしその上否定し難くないならばそれは医局でない
事実14: この全庁共通が競り上げるがしかし否定し難くないとするとそれは医局でない
事実15: もしあの指示表は否定し難くないし加えて左右され易くないならそれは休無しでない
事実16: もしもあの瑕疵修補は競り上げなくて水場でないとしたらそれは例外無くない

仮説: 「競り上げなくてまた否定し難くないなら医局でない」ものはある
1. 事実13から、仮説が導かれる

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