その尿失禁は所狭くないならば「あのアルコール燃料は優れない」ということは成り立つ
fact1: もしもあのゲームコーナーが在庫調整であるとするとその片方は調べ易いということはないけど欲する fact2: その片方は調べ易くない fact3: 仮に「その片方は調べ易いということはないけどそれは欲する」ということは真実だとしたらあのアルコール燃料は優れない fact4: もしもその片方が調べ易くておまけに欲するとするとあのアルコール燃料は優れない fact5: もし仮にその尿失禁は所狭くないならば「コーンスターチでないかまたは申し入れるということはないかまたは両方である」ということは嘘だ fact6: もしもその尿失禁が所狭くないとすれば申し入れる fact7: 「その尿失禁はコーンスターチでないかそれは申し入れないかもしくは両方である」ということは間違っているならあのゲームコーナーは在庫調整である fact8: もし仮にその尿失禁は所狭しとすると「「それはコーンスターチでないか申し入れないかまたは両方だ」ということは成り立つ」ということは誤りである
void -> assump1: 以下のように仮定する。「その尿失禁は所狭くない」ということは確かである; fact5 & assump1 -> int1: 「その尿失禁はコーンスターチでないかあるいはそれは申し入れない」ということは成り立たない; int1 & fact7 -> int2: あのゲームコーナーは在庫調整だ; int2 & fact1 -> int3: その片方は調べ易くないけど欲する; int3 & fact3 -> int4: あのアルコール燃料は優れない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしもあのゲームコーナーが在庫調整であるとするとその片方は調べ易いということはないけど欲する fact2: その片方は調べ易くない fact3: 仮に「その片方は調べ易いということはないけどそれは欲する」ということは真実だとしたらあのアルコール燃料は優れない fact4: もしもその片方が調べ易くておまけに欲するとするとあのアルコール燃料は優れない fact5: もし仮にその尿失禁は所狭くないならば「コーンスターチでないかまたは申し入れるということはないかまたは両方である」ということは嘘だ fact6: もしもその尿失禁が所狭くないとすれば申し入れる fact7: 「その尿失禁はコーンスターチでないかそれは申し入れないかもしくは両方である」ということは間違っているならあのゲームコーナーは在庫調整である fact8: もし仮にその尿失禁は所狭しとすると「「それはコーンスターチでないか申し入れないかまたは両方だ」ということは成り立つ」ということは誤りである ; $hypothesis$ = その尿失禁は所狭くないならば「あのアルコール燃料は優れない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その尿失禁は所狭くない」ということは確かである; fact5 & assump1 -> int1: 「その尿失禁はコーンスターチでないかあるいはそれは申し入れない」ということは成り立たない; int1 & fact7 -> int2: あのゲームコーナーは在庫調整だ; int2 & fact1 -> int3: その片方は調べ易くないけど欲する; int3 & fact3 -> int4: あのアルコール燃料は優れない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもあのゲームコーナーが在庫調整であるとするとその片方は調べ易いということはないけど欲する
事実2: その片方は調べ易くない
事実3: 仮に「その片方は調べ易いということはないけどそれは欲する」ということは真実だとしたらあのアルコール燃料は優れない
事実4: もしもその片方が調べ易くておまけに欲するとするとあのアルコール燃料は優れない
事実5: もし仮にその尿失禁は所狭くないならば「コーンスターチでないかまたは申し入れるということはないかまたは両方である」ということは嘘だ
事実6: もしもその尿失禁が所狭くないとすれば申し入れる
事実7: 「その尿失禁はコーンスターチでないかそれは申し入れないかもしくは両方である」ということは間違っているならあのゲームコーナーは在庫調整である
事実8: もし仮にその尿失禁は所狭しとすると「「それはコーンスターチでないか申し入れないかまたは両方だ」ということは成り立つ」ということは誤りである

仮説: その尿失禁は所狭くないならば「あのアルコール燃料は優れない」ということは成り立つ
1. 仮定1: 以下のように仮定する。「その尿失禁は所狭くない」ということは確かである
2. 事実5と仮定1から、推論1: "「その尿失禁はコーンスターチでないかあるいはそれは申し入れない」ということは成り立たない"が導かれる
3. 推論1と事実7から、推論2: "あのゲームコーナーは在庫調整だ"が導かれる
4. 推論2と事実1から、推論3: "その片方は調べ易くないけど欲する"が導かれる
5. 推論3と事実3から、推論4: "あのアルコール燃料は優れない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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