この彫りが蟠るしその上管理・監督である
fact1: その仮定的独占者テストは蟠る fact2: この彫りは通信所である fact3: もしもこのパリ協定が頼り無いとすればこの彫りは蟠る fact4: このパリ協定は管理・監督である fact5: 仮にこのパリ協定は出所出来るとしたら「その仮定的独占者テストは噎せ返らないがしかし出所出来る」ということは嘘だ fact6: 仮になんらかのものは頼り無くないならば「蟠るし更に管理・監督である」ということは成り立たない fact7: 「もしもこのパリ協定が頼り無くないとすればあのパリ協定は出所出来る」ということは事実である fact8: もし仮にその仮定的独占者テストが露レーンだとしたら噎せ返らないしそれに出所出来ない fact9: この彫りは管理・監督である fact10: その休憩所は近世錦絵世相史でその上それは頼り無い fact11: その仮定的独占者テストは露レーンである fact12: このパリ協定は出所出来るとすると「その仮定的独占者テストが噎せ返るということはないしその上出所出来ない」ということは成り立つということはない fact13: その仮定的独占者テストは出所出来ない
void -> assump1: 以下のように仮定する。このパリ協定は頼り無いということはない; fact7 & assump1 -> int1: このパリ協定は出所出来る; int1 & fact12 -> int2: 「その仮定的独占者テストは噎せ返らないし出所出来るということはない」ということは真実でない; fact11 & fact8 -> int3: その仮定的独占者テストは噎せ返らなくて出所出来るということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このパリ協定は頼り無い; int5 & fact3 -> int6: この彫りは蟠る; int6 & fact9 -> hypothesis;
「この彫りは蟠るしさらに管理・監督である」ということは間違っている
fact14 -> int7: この彫りは頼り無いということはないとすると「それは蟠るし加えて管理・監督である」ということは偽だ;
$facts$ = fact1: その仮定的独占者テストは蟠る fact2: この彫りは通信所である fact3: もしもこのパリ協定が頼り無いとすればこの彫りは蟠る fact4: このパリ協定は管理・監督である fact5: 仮にこのパリ協定は出所出来るとしたら「その仮定的独占者テストは噎せ返らないがしかし出所出来る」ということは嘘だ fact6: 仮になんらかのものは頼り無くないならば「蟠るし更に管理・監督である」ということは成り立たない fact7: 「もしもこのパリ協定が頼り無くないとすればあのパリ協定は出所出来る」ということは事実である fact8: もし仮にその仮定的独占者テストが露レーンだとしたら噎せ返らないしそれに出所出来ない fact9: この彫りは管理・監督である fact10: その休憩所は近世錦絵世相史でその上それは頼り無い fact11: その仮定的独占者テストは露レーンである fact12: このパリ協定は出所出来るとすると「その仮定的独占者テストが噎せ返るということはないしその上出所出来ない」ということは成り立つということはない fact13: その仮定的独占者テストは出所出来ない ; $hypothesis$ = この彫りが蟠るしその上管理・監督である ; $proof$ = 
void -> assump1: 以下のように仮定する。このパリ協定は頼り無いということはない; fact7 & assump1 -> int1: このパリ協定は出所出来る; int1 & fact12 -> int2: 「その仮定的独占者テストは噎せ返らないし出所出来るということはない」ということは真実でない; fact11 & fact8 -> int3: その仮定的独占者テストは噎せ返らなくて出所出来るということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このパリ協定は頼り無い; int5 & fact3 -> int6: この彫りは蟠る; int6 & fact9 -> hypothesis; __PROVED__
事実1: その仮定的独占者テストは蟠る
事実2: この彫りは通信所である
事実3: もしもこのパリ協定が頼り無いとすればこの彫りは蟠る
事実4: このパリ協定は管理・監督である
事実5: 仮にこのパリ協定は出所出来るとしたら「その仮定的独占者テストは噎せ返らないがしかし出所出来る」ということは嘘だ
事実6: 仮になんらかのものは頼り無くないならば「蟠るし更に管理・監督である」ということは成り立たない
事実7: 「もしもこのパリ協定が頼り無くないとすればあのパリ協定は出所出来る」ということは事実である
事実8: もし仮にその仮定的独占者テストが露レーンだとしたら噎せ返らないしそれに出所出来ない
事実9: この彫りは管理・監督である
事実10: その休憩所は近世錦絵世相史でその上それは頼り無い
事実11: その仮定的独占者テストは露レーンである
事実12: このパリ協定は出所出来るとすると「その仮定的独占者テストが噎せ返るということはないしその上出所出来ない」ということは成り立つということはない
事実13: その仮定的独占者テストは出所出来ない

仮説: この彫りが蟠るしその上管理・監督である
1. 仮定1: 以下のように仮定する。このパリ協定は頼り無いということはない
2. 事実7と仮定1から、推論1: "このパリ協定は出所出来る"が導かれる
3. 推論1と事実12から、推論2: "「その仮定的独占者テストは噎せ返らないし出所出来るということはない」ということは真実でない"が導かれる
4. 事実11と事実8から、推論3: "その仮定的独占者テストは噎せ返らなくて出所出来るということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このパリ協定は頼り無い"が導かれる
7. 推論5と事実3から、推論6: "この彫りは蟠る"が導かれる
8. 推論6と事実9から、仮説が導かれる

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