「この噴射は本最判でなくてしかも十倍しない」ということは成り立たない
fact1: もしその内閣府が進み行かなくてそれが標的でないとしたらこのバブル以前はきな臭い fact2: あの自動車ローンは猟師だし味わい深い fact3: もし仮に「その内閣府は進み行かなくてまた標的でない」ということは成り立たないとすればあの電圧は武装しない fact4: もしこのバブル以前がきな臭いとするとあの自動車ローンは湿っぽい fact5: もしその内閣府がきな臭くないとするとこの噴射は本最判でないし十倍するということはない fact6: もしもとあるものは戦後処理であるということはないなら「それは本最判でないしさらに十倍しない」ということは誤りである fact7: この補償金等が武装すればその電圧は武装する fact8: もしこの補償金等がほろ苦いとすればその電圧は武装する fact9: もしも「あの自動車ローンは味わい深い」ということは事実であるならばそれは通じ難い fact10: あの自動車ローンが湿っぽいしその上それは通じ難いなら「この噴射は戦後処理でない」ということは確かだ fact11: この補償金等は武装するかほろ苦い
void -> assump1: 以下のように仮定する。「その内閣府は進み行かなくて更に標的でない」ということは成り立つということはない; fact3 & assump1 -> int1: その電圧は武装しない; fact11 & fact7 & fact8 -> int2: その電圧は武装する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その内閣府は進み行かないしその上それは標的でない; int4 & fact1 -> int5: このバブル以前はきな臭い; int5 & fact4 -> int6: あの自動車ローンは湿っぽい; fact2 -> int7: あの自動車ローンは味わい深い; fact9 & int7 -> int8: あの自動車ローンは通じ難い; int6 & int8 -> int9: あの自動車ローンは湿っぽいししかも通じ難い; int9 & fact10 -> int10: この噴射は戦後処理でない; fact6 -> int11: もしも「この噴射は戦後処理でない」ということは偽でないとしたら「本最判でなくておまけにそれは十倍しない」ということは間違いだ; int10 & int11 -> hypothesis;
この噴射は本最判でないし十倍しない
$facts$ = fact1: もしその内閣府が進み行かなくてそれが標的でないとしたらこのバブル以前はきな臭い fact2: あの自動車ローンは猟師だし味わい深い fact3: もし仮に「その内閣府は進み行かなくてまた標的でない」ということは成り立たないとすればあの電圧は武装しない fact4: もしこのバブル以前がきな臭いとするとあの自動車ローンは湿っぽい fact5: もしその内閣府がきな臭くないとするとこの噴射は本最判でないし十倍するということはない fact6: もしもとあるものは戦後処理であるということはないなら「それは本最判でないしさらに十倍しない」ということは誤りである fact7: この補償金等が武装すればその電圧は武装する fact8: もしこの補償金等がほろ苦いとすればその電圧は武装する fact9: もしも「あの自動車ローンは味わい深い」ということは事実であるならばそれは通じ難い fact10: あの自動車ローンが湿っぽいしその上それは通じ難いなら「この噴射は戦後処理でない」ということは確かだ fact11: この補償金等は武装するかほろ苦い ; $hypothesis$ = 「この噴射は本最判でなくてしかも十倍しない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その内閣府は進み行かなくて更に標的でない」ということは成り立つということはない; fact3 & assump1 -> int1: その電圧は武装しない; fact11 & fact7 & fact8 -> int2: その電圧は武装する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その内閣府は進み行かないしその上それは標的でない; int4 & fact1 -> int5: このバブル以前はきな臭い; int5 & fact4 -> int6: あの自動車ローンは湿っぽい; fact2 -> int7: あの自動車ローンは味わい深い; fact9 & int7 -> int8: あの自動車ローンは通じ難い; int6 & int8 -> int9: あの自動車ローンは湿っぽいししかも通じ難い; int9 & fact10 -> int10: この噴射は戦後処理でない; fact6 -> int11: もしも「この噴射は戦後処理でない」ということは偽でないとしたら「本最判でなくておまけにそれは十倍しない」ということは間違いだ; int10 & int11 -> hypothesis; __PROVED__
事実1: もしその内閣府が進み行かなくてそれが標的でないとしたらこのバブル以前はきな臭い
事実2: あの自動車ローンは猟師だし味わい深い
事実3: もし仮に「その内閣府は進み行かなくてまた標的でない」ということは成り立たないとすればあの電圧は武装しない
事実4: もしこのバブル以前がきな臭いとするとあの自動車ローンは湿っぽい
事実5: もしその内閣府がきな臭くないとするとこの噴射は本最判でないし十倍するということはない
事実6: もしもとあるものは戦後処理であるということはないなら「それは本最判でないしさらに十倍しない」ということは誤りである
事実7: この補償金等が武装すればその電圧は武装する
事実8: もしこの補償金等がほろ苦いとすればその電圧は武装する
事実9: もしも「あの自動車ローンは味わい深い」ということは事実であるならばそれは通じ難い
事実10: あの自動車ローンが湿っぽいしその上それは通じ難いなら「この噴射は戦後処理でない」ということは確かだ
事実11: この補償金等は武装するかほろ苦い

仮説: 「この噴射は本最判でなくてしかも十倍しない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「その内閣府は進み行かなくて更に標的でない」ということは成り立つということはない
2. 事実3と仮定1から、推論1: "その電圧は武装しない"が導かれる
3. 事実11と事実7と事実8から、推論2: "その電圧は武装する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その内閣府は進み行かないしその上それは標的でない"が導かれる
6. 推論4と事実1から、推論5: "このバブル以前はきな臭い"が導かれる
7. 推論5と事実4から、推論6: "あの自動車ローンは湿っぽい"が導かれる
8. 事実2から、推論7: "あの自動車ローンは味わい深い"が導かれる
9. 事実9と推論7から、推論8: "あの自動車ローンは通じ難い"が導かれる
10. 推論6と推論8から、推論9: "あの自動車ローンは湿っぽいししかも通じ難い"が導かれる
11. 推論9と事実10から、推論10: "この噴射は戦後処理でない"が導かれる
12. 事実6から、推論11: "もしも「この噴射は戦後処理でない」ということは偽でないとしたら「本最判でなくておまけにそれは十倍しない」ということは間違いだ"が導かれる
13. 推論10と推論11から、仮説が導かれる

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