もしもこの竜神は重み付けるとすれば「あの鉄条網は発表出来るということはない」ということは誤りである
fact1: このエアライナーは重み付ける fact2: 出入りし易いものは仮想現実だ fact3: あの鉄条網は冠動脈である fact4: もし仮になにがしかのものが重み付けるなら発表出来る fact5: 仮に「このポスト現実主義は発表出来る」ということは正しいとするとあの鉄条網は重み付ける fact6: あの鉄条網が重み付ければそれは発表出来る fact7: もしあるものは馬鹿話であるならそれはちらつき始める fact8: もし仮にあの鉄条網は片膝であるとすればそれは発表出来る fact9: 「あの登録免許税は発表出来る」ということは正しい fact10: もしあの鉄条網が重み付けるとするとこの竜神は厚し fact11: もし仮にあの鉄条網が重み付けるならこの竜神は発表出来る fact12: もしあの鉄条網が厚しならばこの竜神は発表出来る fact13: あのシステム総体は発表出来る fact14: 厚しものは発表出来る fact15: この竜神が重み付けるならあの鉄条網は厚し fact16: この竜神は沿える fact17: 「仮にあの鉄条網が発表出来るとしたらこの竜神は厚し」ということは本当だ fact18: もし仮にこの竜神が厚しとしたらあの鉄条網は重み付ける fact19: この竜神は発表出来る fact20: この節句は厚し
void -> assump1: 以下のように仮定する。この竜神は重み付ける; fact15 & assump1 -> int1: あの鉄条網は厚し; fact14 -> int2: 「もしもあの鉄条網が厚しとすればあの鉄条網は発表出来る」ということは成り立つ; int1 & int2 -> int3: あの鉄条網は発表出来る; [assump1] & int3 -> hypothesis;
$facts$ = fact1: このエアライナーは重み付ける fact2: 出入りし易いものは仮想現実だ fact3: あの鉄条網は冠動脈である fact4: もし仮になにがしかのものが重み付けるなら発表出来る fact5: 仮に「このポスト現実主義は発表出来る」ということは正しいとするとあの鉄条網は重み付ける fact6: あの鉄条網が重み付ければそれは発表出来る fact7: もしあるものは馬鹿話であるならそれはちらつき始める fact8: もし仮にあの鉄条網は片膝であるとすればそれは発表出来る fact9: 「あの登録免許税は発表出来る」ということは正しい fact10: もしあの鉄条網が重み付けるとするとこの竜神は厚し fact11: もし仮にあの鉄条網が重み付けるならこの竜神は発表出来る fact12: もしあの鉄条網が厚しならばこの竜神は発表出来る fact13: あのシステム総体は発表出来る fact14: 厚しものは発表出来る fact15: この竜神が重み付けるならあの鉄条網は厚し fact16: この竜神は沿える fact17: 「仮にあの鉄条網が発表出来るとしたらこの竜神は厚し」ということは本当だ fact18: もし仮にこの竜神が厚しとしたらあの鉄条網は重み付ける fact19: この竜神は発表出来る fact20: この節句は厚し ; $hypothesis$ = もしもこの竜神は重み付けるとすれば「あの鉄条網は発表出来るということはない」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。この竜神は重み付ける; fact15 & assump1 -> int1: あの鉄条網は厚し; fact14 -> int2: 「もしもあの鉄条網が厚しとすればあの鉄条網は発表出来る」ということは成り立つ; int1 & int2 -> int3: あの鉄条網は発表出来る; [assump1] & int3 -> hypothesis; __PROVED__
事実1: このエアライナーは重み付ける
事実2: 出入りし易いものは仮想現実だ
事実3: あの鉄条網は冠動脈である
事実4: もし仮になにがしかのものが重み付けるなら発表出来る
事実5: 仮に「このポスト現実主義は発表出来る」ということは正しいとするとあの鉄条網は重み付ける
事実6: あの鉄条網が重み付ければそれは発表出来る
事実7: もしあるものは馬鹿話であるならそれはちらつき始める
事実8: もし仮にあの鉄条網は片膝であるとすればそれは発表出来る
事実9: 「あの登録免許税は発表出来る」ということは正しい
事実10: もしあの鉄条網が重み付けるとするとこの竜神は厚し
事実11: もし仮にあの鉄条網が重み付けるならこの竜神は発表出来る
事実12: もしあの鉄条網が厚しならばこの竜神は発表出来る
事実13: あのシステム総体は発表出来る
事実14: 厚しものは発表出来る
事実15: この竜神が重み付けるならあの鉄条網は厚し
事実16: この竜神は沿える
事実17: 「仮にあの鉄条網が発表出来るとしたらこの竜神は厚し」ということは本当だ
事実18: もし仮にこの竜神が厚しとしたらあの鉄条網は重み付ける
事実19: この竜神は発表出来る
事実20: この節句は厚し

仮説: もしもこの竜神は重み付けるとすれば「あの鉄条網は発表出来るということはない」ということは誤りである
1. 仮定1: 以下のように仮定する。この竜神は重み付ける
2. 事実15と仮定1から、推論1: "あの鉄条網は厚し"が導かれる
3. 事実14から、推論2: "「もしもあの鉄条網が厚しとすればあの鉄条網は発表出来る」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "あの鉄条網は発表出来る"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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