「「仮に申し訳無いとしたら真っ暗くないかもしくは返済出来ないかどちらもである」物はある」ということは成り立たない
fact1: もしもなにかは消散しないとしたらそれは真っ暗いか返済出来るということはないか両方だ fact2: 仮になにかは消散しないとしたら真っ暗くないかまたはそれは返済出来ないかどちらもである fact3: もし仮にその上り貨物列車が安しということはないしそれが甘ったれないとするとあの税引き前利益は音日記だ fact4: あの裁判官性は甘ったれない fact5: その上り貨物列車が安しとするとそれは甘ったれないかもしくはそれは真っ暗くない fact6: 仮にその上り貨物列車は返済出来るし消散すれば「その助成金は音日記でない」ということは真実である fact7: あのホームストレートは音日記でなくて更に飼わない fact8: 「もし仮に「民間案である」ということは成り立つとすれば管轄しないかもしくは脱却出来ないかまたは両方ともな」ものはある fact9: その上り貨物列車は想定しないしおまけにそれは音日記でない fact10: 「仮に甘ったれれば安しないかまたは消散しないかあるいは両方ともである」ものはある fact11: その上り貨物列車は安しということはないしその上甘ったれない fact12: あの税引き前利益は甘ったれる fact13: 「その上り貨物列車が音日記でなくてかつ返済出来ないならばあの税引き前利益は甘ったれる」ということは確かである fact14: 申し訳無い音日記は消散するということはない fact15: もしなんらかの物が音日記でないとすればすばしこくてそれに申し訳無い fact16: 「その上り貨物列車は塩辛い」ということは成り立つ fact17: 仮にあの税引き前利益が申し訳無いならばそれは真っ暗いかそれは返済出来ないかもしくはどちらもである
fact3 & fact11 -> int1: 「あの税引き前利益は音日記である」ということは正しい; void -> assump1: 以下のように仮定する。あの税引き前利益は申し訳無い; int1 & assump1 -> int2: 「あの税引き前利益は音日記であるしそれは申し訳無い」ということは確かだ; fact14 -> int3: もしも「あの税引き前利益は音日記であるしかつそれは申し訳無い」ということは事実であるならば消散しない; int2 & int3 -> int4: あの税引き前利益は消散しない; fact2 -> int5: あの税引き前利益は消散しないとしたら「真っ暗くないかもしくは返済出来るということはないかあるいはどちらもである」ということは成り立つ; int4 & int5 -> int6: あの税引き前利益は真っ暗くないか返済出来ない; [assump1] & int6 -> int7: 仮にあの税引き前利益が申し訳無いとするとそれは真っ暗くないかもしくは返済出来ないか両方である; int7 -> hypothesis;
その助成金はすばしこい
fact18 -> int8: もし仮にその助成金が音日記でないならそれがすばしこいしその上申し訳無い;
$facts$ = fact1: もしもなにかは消散しないとしたらそれは真っ暗いか返済出来るということはないか両方だ fact2: 仮になにかは消散しないとしたら真っ暗くないかまたはそれは返済出来ないかどちらもである fact3: もし仮にその上り貨物列車が安しということはないしそれが甘ったれないとするとあの税引き前利益は音日記だ fact4: あの裁判官性は甘ったれない fact5: その上り貨物列車が安しとするとそれは甘ったれないかもしくはそれは真っ暗くない fact6: 仮にその上り貨物列車は返済出来るし消散すれば「その助成金は音日記でない」ということは真実である fact7: あのホームストレートは音日記でなくて更に飼わない fact8: 「もし仮に「民間案である」ということは成り立つとすれば管轄しないかもしくは脱却出来ないかまたは両方ともな」ものはある fact9: その上り貨物列車は想定しないしおまけにそれは音日記でない fact10: 「仮に甘ったれれば安しないかまたは消散しないかあるいは両方ともである」ものはある fact11: その上り貨物列車は安しということはないしその上甘ったれない fact12: あの税引き前利益は甘ったれる fact13: 「その上り貨物列車が音日記でなくてかつ返済出来ないならばあの税引き前利益は甘ったれる」ということは確かである fact14: 申し訳無い音日記は消散するということはない fact15: もしなんらかの物が音日記でないとすればすばしこくてそれに申し訳無い fact16: 「その上り貨物列車は塩辛い」ということは成り立つ fact17: 仮にあの税引き前利益が申し訳無いならばそれは真っ暗いかそれは返済出来ないかもしくはどちらもである ; $hypothesis$ = 「「仮に申し訳無いとしたら真っ暗くないかもしくは返済出来ないかどちらもである」物はある」ということは成り立たない ; $proof$ = 
fact3 & fact11 -> int1: 「あの税引き前利益は音日記である」ということは正しい; void -> assump1: 以下のように仮定する。あの税引き前利益は申し訳無い; int1 & assump1 -> int2: 「あの税引き前利益は音日記であるしそれは申し訳無い」ということは確かだ; fact14 -> int3: もしも「あの税引き前利益は音日記であるしかつそれは申し訳無い」ということは事実であるならば消散しない; int2 & int3 -> int4: あの税引き前利益は消散しない; fact2 -> int5: あの税引き前利益は消散しないとしたら「真っ暗くないかもしくは返済出来るということはないかあるいはどちらもである」ということは成り立つ; int4 & int5 -> int6: あの税引き前利益は真っ暗くないか返済出来ない; [assump1] & int6 -> int7: 仮にあの税引き前利益が申し訳無いとするとそれは真っ暗くないかもしくは返済出来ないか両方である; int7 -> hypothesis; __DISPROVED__
事実1: もしもなにかは消散しないとしたらそれは真っ暗いか返済出来るということはないか両方だ
事実2: 仮になにかは消散しないとしたら真っ暗くないかまたはそれは返済出来ないかどちらもである
事実3: もし仮にその上り貨物列車が安しということはないしそれが甘ったれないとするとあの税引き前利益は音日記だ
事実4: あの裁判官性は甘ったれない
事実5: その上り貨物列車が安しとするとそれは甘ったれないかもしくはそれは真っ暗くない
事実6: 仮にその上り貨物列車は返済出来るし消散すれば「その助成金は音日記でない」ということは真実である
事実7: あのホームストレートは音日記でなくて更に飼わない
事実8: 「もし仮に「民間案である」ということは成り立つとすれば管轄しないかもしくは脱却出来ないかまたは両方ともな」ものはある
事実9: その上り貨物列車は想定しないしおまけにそれは音日記でない
事実10: 「仮に甘ったれれば安しないかまたは消散しないかあるいは両方ともである」ものはある
事実11: その上り貨物列車は安しということはないしその上甘ったれない
事実12: あの税引き前利益は甘ったれる
事実13: 「その上り貨物列車が音日記でなくてかつ返済出来ないならばあの税引き前利益は甘ったれる」ということは確かである
事実14: 申し訳無い音日記は消散するということはない
事実15: もしなんらかの物が音日記でないとすればすばしこくてそれに申し訳無い
事実16: 「その上り貨物列車は塩辛い」ということは成り立つ
事実17: 仮にあの税引き前利益が申し訳無いならばそれは真っ暗いかそれは返済出来ないかもしくはどちらもである

仮説: 「「仮に申し訳無いとしたら真っ暗くないかもしくは返済出来ないかどちらもである」物はある」ということは成り立たない
1. 事実3と事実11から、推論1: "「あの税引き前利益は音日記である」ということは正しい"が導かれる
2. 仮定1: 以下のように仮定する。あの税引き前利益は申し訳無い
3. 推論1と仮定1から、推論2: "「あの税引き前利益は音日記であるしそれは申し訳無い」ということは確かだ"が導かれる
4. 事実14から、推論3: "もしも「あの税引き前利益は音日記であるしかつそれは申し訳無い」ということは事実であるならば消散しない"が導かれる
5. 推論2と推論3から、推論4: "あの税引き前利益は消散しない"が導かれる
6. 事実2から、推論5: "あの税引き前利益は消散しないとしたら「真っ暗くないかもしくは返済出来るということはないかあるいはどちらもである」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "あの税引き前利益は真っ暗くないか返済出来ない"が導かれる
8. [仮定1]と推論6から、推論7: "仮にあの税引き前利益が申し訳無いとするとそれは真っ暗くないかもしくは返済出来ないか両方である"が導かれる
9. 推論7から、仮説が否定される

よって、仮説が否定されました。