もしも「あのシートリフトアップ車は縫い代である」ということは成り立つならばあの塩類集積は財政赤字削減である
fact1: あの再登録は大差無くない fact2: 仮にあのシートリフトアップ車が大差無いとすると縫い代だ fact3: 「その塩類集積は専門知識だ」ということは確かである fact4: 「もし何らかのものが大差無いなら縫い代である」ということは成り立つ fact5: 「あの新羅古墳は迎火でないし専門知識でない」ということは成り立たない fact6: もし仮にその塩類集積が噴火するとするとそれは映画館だということはない fact7: あのシートリフトアップ車は財政赤字削減だ fact8: 「その塩類集積は財政赤字削減でなくて鈍いということはない」ということは誤っている fact9: 「あのシートリフトアップ車は鈍いということはないがしかし専門知識だ」ということは成り立たない fact10: 「あのシートリフトアップ車は鈍いがしかし専門知識でない」ということは成り立つということはない fact11: その塩類集積は判断し難くない fact12: もしもあのシートリフトアップ車が鈍くないけどそれが専門知識だとすると大差無い fact13: もし仮に「あのシートリフトアップ車は鈍くなくてそれに専門知識でない」ということは成り立たないとすればその塩類集積は財政赤字削減だ fact14: 仮にあのシートリフトアップ車は財政赤字削減でないけど鈍いなら縫い代である fact15: もしとある物は大差無いとすれば「それは縫い代でない」ということは嘘であるということはない fact16: 迷い易い物は一念だ fact17: もしあのシートリフトアップ車が財政赤字削減ならばあの塩類集積は縫い代だ fact18: このρＮは鈍い fact19: もし仮にあのシートリフトアップ車が鈍くないししかもそれは専門知識でないならばそれは大差無い fact20: もしその塩類集積が大差無いならあのシートリフトアップ車は財政赤字削減である fact21: もしあのシートリフトアップ車は鈍いがしかし専門知識でないならばそれは大差無い
void -> assump2: 以下のように仮定する。あのシートリフトアップ車は鈍いということはなくて専門知識でない; fact19 & assump2 -> int1: あのシートリフトアップ車は大差無い; fact15 -> int2: もしもあのシートリフトアップ車が大差無いとしたら縫い代でない; int1 & int2 -> int3: あのシートリフトアップ車は縫い代でない; void -> assump1: 以下のように仮定する。あのシートリフトアップ車は縫い代だ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「あのシートリフトアップ車は鈍くないし専門知識でない」ということは確かでない; int5 & fact13 -> int6: その塩類集積は財政赤字削減である; [assump1] & int6 -> 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$ = 
void -> assump2: 以下のように仮定する。あのシートリフトアップ車は鈍いということはなくて専門知識でない; fact19 & assump2 -> int1: あのシートリフトアップ車は大差無い; fact15 -> int2: もしもあのシートリフトアップ車が大差無いとしたら縫い代でない; int1 & int2 -> int3: あのシートリフトアップ車は縫い代でない; void -> assump1: 以下のように仮定する。あのシートリフトアップ車は縫い代だ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「あのシートリフトアップ車は鈍くないし専門知識でない」ということは確かでない; int5 & fact13 -> int6: その塩類集積は財政赤字削減である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: あの再登録は大差無くない
事実2: 仮にあのシートリフトアップ車が大差無いとすると縫い代だ
事実3: 「その塩類集積は専門知識だ」ということは確かである
事実4: 「もし何らかのものが大差無いなら縫い代である」ということは成り立つ
事実5: 「あの新羅古墳は迎火でないし専門知識でない」ということは成り立たない
事実6: もし仮にその塩類集積が噴火するとするとそれは映画館だということはない
事実7: あのシートリフトアップ車は財政赤字削減だ
事実8: 「その塩類集積は財政赤字削減でなくて鈍いということはない」ということは誤っている
事実9: 「あのシートリフトアップ車は鈍いということはないがしかし専門知識だ」ということは成り立たない
事実10: 「あのシートリフトアップ車は鈍いがしかし専門知識でない」ということは成り立つということはない
事実11: その塩類集積は判断し難くない
事実12: もしもあのシートリフトアップ車が鈍くないけどそれが専門知識だとすると大差無い
事実13: もし仮に「あのシートリフトアップ車は鈍くなくてそれに専門知識でない」ということは成り立たないとすればその塩類集積は財政赤字削減だ
事実14: 仮にあのシートリフトアップ車は財政赤字削減でないけど鈍いなら縫い代である
事実15: もしとある物は大差無いとすれば「それは縫い代でない」ということは嘘であるということはない
事実16: 迷い易い物は一念だ
事実17: もしあのシートリフトアップ車が財政赤字削減ならばあの塩類集積は縫い代だ
事実18: このρＮは鈍い
事実19: もし仮にあのシートリフトアップ車が鈍くないししかもそれは専門知識でないならばそれは大差無い
事実20: もしその塩類集積が大差無いならあのシートリフトアップ車は財政赤字削減である
事実21: もしあのシートリフトアップ車は鈍いがしかし専門知識でないならばそれは大差無い

仮説: もしも「あのシートリフトアップ車は縫い代である」ということは成り立つならばあの塩類集積は財政赤字削減である
1. 仮定2: 以下のように仮定する。あのシートリフトアップ車は鈍いということはなくて専門知識でない
2. 事実19と仮定2から、推論1: "あのシートリフトアップ車は大差無い"が導かれる
3. 事実15から、推論2: "もしもあのシートリフトアップ車が大差無いとしたら縫い代でない"が導かれる
4. 推論1と推論2から、推論3: "あのシートリフトアップ車は縫い代でない"が導かれる
5. 仮定1: 以下のように仮定する。あのシートリフトアップ車は縫い代だ
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「あのシートリフトアップ車は鈍くないし専門知識でない」ということは確かでない"が導かれる
8. 推論5と事実13から、推論6: "その塩類集積は財政赤字削減である"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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