その迫撃砲は資料作りである
fact1: 仮に「ロボトミーでない」ものはあるとすると「あの示談は溶き入れるということはないかそれは忙しい」ということは誤りだ fact2: 「「浅ましない」ということは成り立つ」物はある fact3: もし仮にその迫撃砲が確からしいが狭苦しくないとしたらその松明は狭苦しくない fact4: その豌豆類は底堅い fact5: もしも「「浅ましない」ということは本当な」ものがあるとすればその迫撃砲は狭苦しい fact6: その迫撃砲は狭苦しい fact7: もし仮に「なんらかのものは狭苦しくないか参照であるかまたは両方だ」ということは嘘であるとすれば「資料作りである」ということは確かだ fact8: 仮にその豌豆類が底堅いならそれは乗り取らないか確からしくないかもしくは両方だ fact9: 「意義深い」ものはある fact10: もし仮になんらかのものは狭苦しくないとすると「資料作りでそれは浅まし」ということは事実だ fact11: もしも何らかの物は浅ましということはないとすれば「「その迫撃砲は狭苦しいということはないかあるいは参照であるかまたは両方である」ということは成り立たない」ということは真実である fact12: なにがしかの物は浅まし
fact2 & fact11 -> int1: 「その迫撃砲は狭苦しくないかもしくはそれは参照である」ということは間違いである; fact7 -> int2: もし仮に「その迫撃砲は狭苦しいということはないかあるいは参照であるか両方である」ということは間違いであるなら資料作りだ; int1 & int2 -> hypothesis;
fact2 & fact11 -> int1: ¬(¬{B}{a} v {C}{a}); fact7 -> int2: ¬(¬{B}{a} v {C}{a}) -> {D}{a}; int1 & int2 -> hypothesis;
その松明は資料作りだ
fact13 -> int3: 「もしもその松明が狭苦しくないならその松明は資料作りでおまけにそれは浅まし」ということは成り立つ;
$facts$ = fact1: 仮に「ロボトミーでない」ものはあるとすると「あの示談は溶き入れるということはないかそれは忙しい」ということは誤りだ fact2: 「「浅ましない」ということは成り立つ」物はある fact3: もし仮にその迫撃砲が確からしいが狭苦しくないとしたらその松明は狭苦しくない fact4: その豌豆類は底堅い fact5: もしも「「浅ましない」ということは本当な」ものがあるとすればその迫撃砲は狭苦しい fact6: その迫撃砲は狭苦しい fact7: もし仮に「なんらかのものは狭苦しくないか参照であるかまたは両方だ」ということは嘘であるとすれば「資料作りである」ということは確かだ fact8: 仮にその豌豆類が底堅いならそれは乗り取らないか確からしくないかもしくは両方だ fact9: 「意義深い」ものはある fact10: もし仮になんらかのものは狭苦しくないとすると「資料作りでそれは浅まし」ということは事実だ fact11: もしも何らかの物は浅ましということはないとすれば「「その迫撃砲は狭苦しいということはないかあるいは参照であるかまたは両方である」ということは成り立たない」ということは真実である fact12: なにがしかの物は浅まし ; $hypothesis$ = その迫撃砲は資料作りである ; $proof$ = 
fact2 & fact11 -> int1: 「その迫撃砲は狭苦しくないかもしくはそれは参照である」ということは間違いである; fact7 -> int2: もし仮に「その迫撃砲は狭苦しいということはないかあるいは参照であるか両方である」ということは間違いであるなら資料作りだ; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「ロボトミーでない」ものはあるとすると「あの示談は溶き入れるということはないかそれは忙しい」ということは誤りだ
事実2: 「「浅ましない」ということは成り立つ」物はある
事実3: もし仮にその迫撃砲が確からしいが狭苦しくないとしたらその松明は狭苦しくない
事実4: その豌豆類は底堅い
事実5: もしも「「浅ましない」ということは本当な」ものがあるとすればその迫撃砲は狭苦しい
事実6: その迫撃砲は狭苦しい
事実7: もし仮に「なんらかのものは狭苦しくないか参照であるかまたは両方だ」ということは嘘であるとすれば「資料作りである」ということは確かだ
事実8: 仮にその豌豆類が底堅いならそれは乗り取らないか確からしくないかもしくは両方だ
事実9: 「意義深い」ものはある
事実10: もし仮になんらかのものは狭苦しくないとすると「資料作りでそれは浅まし」ということは事実だ
事実11: もしも何らかの物は浅ましということはないとすれば「「その迫撃砲は狭苦しいということはないかあるいは参照であるかまたは両方である」ということは成り立たない」ということは真実である
事実12: なにがしかの物は浅まし

仮説: その迫撃砲は資料作りである
1. 事実2と事実11から、推論1: "「その迫撃砲は狭苦しくないかもしくはそれは参照である」ということは間違いである"が導かれる
2. 事実7から、推論2: "もし仮に「その迫撃砲は狭苦しいということはないかあるいは参照であるか両方である」ということは間違いであるなら資料作りだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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