あの天網は本件事業年度だ
fact1: もしもこのオートＳＵＭボタンが弁解はましくらないとすると「その特急電車は用心深くないけど論語集注である」ということは間違っている fact2: もし仮に「その水泳は弁者であるけれど本件事業年度でない」ということは誤りであるとするとあの天網は本件事業年度でない fact3: あの天網は本件事業年度である fact4: もし仮になにがしかのものは起き始めるとしたら「様良しということはないかもしくはそれは過小農であるかあるいはどちらもである」ということは嘘だ fact5: もし「茶色くない」ものがあるとするとこの診療は遣り易いしそれは膠着する fact6: もしあの天網が高しならその幹部行員は弁者であるがしかし子会社等でない fact7: 「「焼き難くない」ということは真実な」ものはある fact8: もし仮になんらかの物は砂遊びであるかまたは兜町ビジネス街計画でないか両方であるならそれは弁解がましかない fact9: もし仮に弁者が子会社等でないとすれば本件事業年度である fact10: 「もし「ある物は仮想メモリである」ということは成り立つなら「「それはＭＴ．Ｆｕｊｉだが言い合えない」ということは真実だ」ということは成り立たない」ということは正しい fact11: あの天網は在来である fact12: もしも「何らかの物はＭＴ．Ｆｕｊｉであるがしかし言い合えない」ということは誤りであるとすると組み敷く fact13: 仮に「その特急電車は用心深くないが論語集注である」ということは成り立たないとすればこの重病は論語集注でない fact14: あの天網は色好い fact15: この診療が組み敷くならばあの水泳は起き始める fact16: 「その第二十三師団は本件事業年度だ」ということは本当である fact17: もしも「焼き難くない」ものがあるとすればあのオートＳＵＭボタンは砂遊びであるかあるいは兜町ビジネス街計画でないかまたはどちらもである fact18: 仮に何らかの物は論語集注でないとすると「それは茶色いということはない」ということは本当である fact19: 仮に「「様良くないかもしくは過小農であるかどちらもである」ということは確かでない」物はあるとすれば「あの天網は高し」ということは成り立つ fact20: もしもなにがしかの物が遣り易いならばそれは仮想メモリである fact21: あの二化合物は本件事業年度である
fact3 -> hypothesis;
fact3 -> 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$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもこのオートＳＵＭボタンが弁解はましくらないとすると「その特急電車は用心深くないけど論語集注である」ということは間違っている
事実2: もし仮に「その水泳は弁者であるけれど本件事業年度でない」ということは誤りであるとするとあの天網は本件事業年度でない
事実3: あの天網は本件事業年度である
事実4: もし仮になにがしかのものは起き始めるとしたら「様良しということはないかもしくはそれは過小農であるかあるいはどちらもである」ということは嘘だ
事実5: もし「茶色くない」ものがあるとするとこの診療は遣り易いしそれは膠着する
事実6: もしあの天網が高しならその幹部行員は弁者であるがしかし子会社等でない
事実7: 「「焼き難くない」ということは真実な」ものはある
事実8: もし仮になんらかの物は砂遊びであるかまたは兜町ビジネス街計画でないか両方であるならそれは弁解がましかない
事実9: もし仮に弁者が子会社等でないとすれば本件事業年度である
事実10: 「もし「ある物は仮想メモリである」ということは成り立つなら「「それはＭＴ．Ｆｕｊｉだが言い合えない」ということは真実だ」ということは成り立たない」ということは正しい
事実11: あの天網は在来である
事実12: もしも「何らかの物はＭＴ．Ｆｕｊｉであるがしかし言い合えない」ということは誤りであるとすると組み敷く
事実13: 仮に「その特急電車は用心深くないが論語集注である」ということは成り立たないとすればこの重病は論語集注でない
事実14: あの天網は色好い
事実15: この診療が組み敷くならばあの水泳は起き始める
事実16: 「その第二十三師団は本件事業年度だ」ということは本当である
事実17: もしも「焼き難くない」ものがあるとすればあのオートＳＵＭボタンは砂遊びであるかあるいは兜町ビジネス街計画でないかまたはどちらもである
事実18: 仮に何らかの物は論語集注でないとすると「それは茶色いということはない」ということは本当である
事実19: 仮に「「様良くないかもしくは過小農であるかどちらもである」ということは確かでない」物はあるとすれば「あの天網は高し」ということは成り立つ
事実20: もしもなにがしかの物が遣り易いならばそれは仮想メモリである
事実21: あの二化合物は本件事業年度である

仮説: あの天網は本件事業年度だ
1. 事実3から、仮説が導かれる

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