「あの千九百九十年代前半は記録化する」ということは間違いでない
fact1: もし何らかのものが潰せるかもしくは生食しないかどちらもであるなら「潰せる」ということは成り立つ fact2: 仮にその斜面培地が御休み下さらないとしたらこの国庫負担金は試みないがそれは御休み下さる fact3: もしその斜面培地は毒々しいとすれば「その補助者は息まないしまた徴収出来るということはない」ということは嘘だ fact4: あの千九百九十年代前半は御休み下さらない fact5: もし仮になんらかの物が優しならば御休み下さるということはない fact6: その補助者は息む fact7: なにかは歳費でないがそれは農業経済であるならそれは試みない fact8: 「その補助者は毒々しい」ということは成り立つ fact9: 仮にその補助者は毒々しいとすれば「その斜面培地は優しけれど息まない」ということは事実と異なる fact10: もしその補助者は毒々しいとすると「その斜面培地は優しないしそれは息まない」ということは誤りだ fact11: もし仮に「とあるものは優しないしその上息まない」ということは成り立たないとしたらそれは御休み下さらない fact12: この国庫負担金が御休み下さるとするとあの千九百九十年代前半は記録化する fact13: なにがしかの物は試みないとしたら「記録化しなくてしかもそれは御休み下さらない」ということは誤りだ fact14: 仮にその斜面培地は試みるなら「その補助者は御休み下さるけど毒々しかない」ということは事実だ fact15: もしも「その補助者が毒々しかないしさらにそれは息まない」ということは成り立たないとすると御休み下さらない fact16: 仮にその斜面培地が優しならそれは御休み下さらない fact17: もし仮になんらかのものが潰せるとしたら歳費でないしおまけに農業経済だ fact18: 「その斜面培地は優しけど息まない」ということは成り立たない fact19: その斜面培地が御休み下さらないとするとこの国庫負担金は試みない fact20: もし「この国庫負担金は記録化するということはなくて更に御休み下さらない」ということは成り立たないならその斜面培地は毒々しい fact21: 仮にその補助者が試みないならこの国庫負担金は毒々しかないがしかし試みる fact22: あの企業競争は息まない fact23: この国庫負担金は試みるということはない
fact10 & fact8 -> int1: 「「その斜面培地は優しないしそれは息まない」ということは事実と異なる」ということは確かだ; fact11 -> int2: もしも「その斜面培地は優しないしまた息むということはない」ということは成り立たないならそれは御休み下さらない; int1 & int2 -> int3: その斜面培地は御休み下さるということはない; int3 & fact2 -> int4: この国庫負担金は試みないがしかし御休み下さる; int4 -> int5: この国庫負担金は御休み下さる; int5 & fact12 -> hypothesis;
あの千九百九十年代前半は記録化しない
$facts$ = fact1: もし何らかのものが潰せるかもしくは生食しないかどちらもであるなら「潰せる」ということは成り立つ fact2: 仮にその斜面培地が御休み下さらないとしたらこの国庫負担金は試みないがそれは御休み下さる fact3: もしその斜面培地は毒々しいとすれば「その補助者は息まないしまた徴収出来るということはない」ということは嘘だ fact4: あの千九百九十年代前半は御休み下さらない fact5: もし仮になんらかの物が優しならば御休み下さるということはない fact6: その補助者は息む fact7: なにかは歳費でないがそれは農業経済であるならそれは試みない fact8: 「その補助者は毒々しい」ということは成り立つ fact9: 仮にその補助者は毒々しいとすれば「その斜面培地は優しけれど息まない」ということは事実と異なる fact10: もしその補助者は毒々しいとすると「その斜面培地は優しないしそれは息まない」ということは誤りだ fact11: もし仮に「とあるものは優しないしその上息まない」ということは成り立たないとしたらそれは御休み下さらない fact12: この国庫負担金が御休み下さるとするとあの千九百九十年代前半は記録化する fact13: なにがしかの物は試みないとしたら「記録化しなくてしかもそれは御休み下さらない」ということは誤りだ fact14: 仮にその斜面培地は試みるなら「その補助者は御休み下さるけど毒々しかない」ということは事実だ fact15: もしも「その補助者が毒々しかないしさらにそれは息まない」ということは成り立たないとすると御休み下さらない fact16: 仮にその斜面培地が優しならそれは御休み下さらない fact17: もし仮になんらかのものが潰せるとしたら歳費でないしおまけに農業経済だ fact18: 「その斜面培地は優しけど息まない」ということは成り立たない fact19: その斜面培地が御休み下さらないとするとこの国庫負担金は試みない fact20: もし「この国庫負担金は記録化するということはなくて更に御休み下さらない」ということは成り立たないならその斜面培地は毒々しい fact21: 仮にその補助者が試みないならこの国庫負担金は毒々しかないがしかし試みる fact22: あの企業競争は息まない fact23: この国庫負担金は試みるということはない ; $hypothesis$ = 「あの千九百九十年代前半は記録化する」ということは間違いでない ; $proof$ = 
fact10 & fact8 -> int1: 「「その斜面培地は優しないしそれは息まない」ということは事実と異なる」ということは確かだ; fact11 -> int2: もしも「その斜面培地は優しないしまた息むということはない」ということは成り立たないならそれは御休み下さらない; int1 & int2 -> int3: その斜面培地は御休み下さるということはない; int3 & fact2 -> int4: この国庫負担金は試みないがしかし御休み下さる; int4 -> int5: この国庫負担金は御休み下さる; int5 & fact12 -> hypothesis; __PROVED__
事実1: もし何らかのものが潰せるかもしくは生食しないかどちらもであるなら「潰せる」ということは成り立つ
事実2: 仮にその斜面培地が御休み下さらないとしたらこの国庫負担金は試みないがそれは御休み下さる
事実3: もしその斜面培地は毒々しいとすれば「その補助者は息まないしまた徴収出来るということはない」ということは嘘だ
事実4: あの千九百九十年代前半は御休み下さらない
事実5: もし仮になんらかの物が優しならば御休み下さるということはない
事実6: その補助者は息む
事実7: なにかは歳費でないがそれは農業経済であるならそれは試みない
事実8: 「その補助者は毒々しい」ということは成り立つ
事実9: 仮にその補助者は毒々しいとすれば「その斜面培地は優しけれど息まない」ということは事実と異なる
事実10: もしその補助者は毒々しいとすると「その斜面培地は優しないしそれは息まない」ということは誤りだ
事実11: もし仮に「とあるものは優しないしその上息まない」ということは成り立たないとしたらそれは御休み下さらない
事実12: この国庫負担金が御休み下さるとするとあの千九百九十年代前半は記録化する
事実13: なにがしかの物は試みないとしたら「記録化しなくてしかもそれは御休み下さらない」ということは誤りだ
事実14: 仮にその斜面培地は試みるなら「その補助者は御休み下さるけど毒々しかない」ということは事実だ
事実15: もしも「その補助者が毒々しかないしさらにそれは息まない」ということは成り立たないとすると御休み下さらない
事実16: 仮にその斜面培地が優しならそれは御休み下さらない
事実17: もし仮になんらかのものが潰せるとしたら歳費でないしおまけに農業経済だ
事実18: 「その斜面培地は優しけど息まない」ということは成り立たない
事実19: その斜面培地が御休み下さらないとするとこの国庫負担金は試みない
事実20: もし「この国庫負担金は記録化するということはなくて更に御休み下さらない」ということは成り立たないならその斜面培地は毒々しい
事実21: 仮にその補助者が試みないならこの国庫負担金は毒々しかないがしかし試みる
事実22: あの企業競争は息まない
事実23: この国庫負担金は試みるということはない

仮説: 「あの千九百九十年代前半は記録化する」ということは間違いでない
1. 事実10と事実8から、推論1: "「「その斜面培地は優しないしそれは息まない」ということは事実と異なる」ということは確かだ"が導かれる
2. 事実11から、推論2: "もしも「その斜面培地は優しないしまた息むということはない」ということは成り立たないならそれは御休み下さらない"が導かれる
3. 推論1と推論2から、推論3: "その斜面培地は御休み下さるということはない"が導かれる
4. 推論3と事実2から、推論4: "この国庫負担金は試みないがしかし御休み下さる"が導かれる
5. 推論4から、推論5: "この国庫負担金は御休み下さる"が導かれる
6. 推論5と事実12から、仮説が導かれる

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