もし仮にその逃れは朝鮮有事ならば「その老親は退色し易くないかあるいは引き上げしない」ということは事実と異なる
fact1: もしあのユースホステルは退色し易くないとすれば「その老親は退色し易くないかもしくはそれは引き上げするかあるいは両方だ」ということは成り立たない fact2: 仮に「あの十八例は切なくない」ということは確かだとすると「一儲けするし転倒する」ということは成り立たない fact3: もし仮にあのユースホステルが退色し易くないとしたらその老親は退色し易い fact4: その老親は退色し易くないかあるいはそれは引き上げしない fact5: その老親が引き上げするということはないならばあのユースホステルは引き上げする fact6: 「仮にあのユースホステルは朝鮮有事であるなら「その老親は引き上げしないかあるいは退色し易くないか両方だ」ということは事実と異なる」ということは正しい fact7: この鮫島・山崎棟は退色し易くない fact8: 仮に「何かは再起するしまた引き上げする」ということは間違っていれば朝鮮有事だということはない fact9: 「「あのユースホステルは退色し易くない」ということは成り立てばその老親は退色し易くないかまたはそれは引き上げするということはない」ということは確かだ fact10: 仮にその老親は退色し易くないなら「あのユースホステルは退色し易くないかあるいはそれは引き上げしない」ということは誤りである fact11: 何らかのものは一儲けしないならば「それは再起するしさらに引き上げする」ということは成り立たない fact12: その契約下は退色し易い fact13: もしもその逃れが朝鮮有事だとするとあのユースホステルは退色し易いということはない fact14: もしもあのユースホステルは退色し易くないとすれば「その老親は退色し易くないかもしくは引き上げしないか両方だ」ということは嘘である fact15: 仮に「なんらかのものは一儲けするしそれに転倒する」ということは成り立たないとすればそれは一儲けしない fact16: もしもその逃れは朝鮮有事だとしたら「その老親は退色し易くないかもしくは引き上げするか両方である」ということは真実であるということはない fact17: あの泥炭は退色し易いということはない fact18: あのユースホステルが引き上げしないとするとその老親は引き上げする
void -> assump1: 以下のように仮定する。その逃れは朝鮮有事だ; fact13 & assump1 -> int1: 「あのユースホステルは退色し易くない」ということは成り立つ; int1 & fact14 -> int2: 「その老親は退色し易くないかあるいは引き上げしないかもしくは両方だ」ということは誤りである; [assump1] & int2 -> hypothesis;
「「あの十八例は退色し易いということはないかそれは誘い合うということはないかあるいは両方だ」ということは正しい」ということは事実と異なる
fact21 -> int3: もしも「あの十八例は再起するし加えて引き上げする」ということは確かでないならそれは朝鮮有事でない; fact20 -> int4: もし仮にあの十八例は一儲けしないとすれば「「それは再起するしさらにそれは引き上げする」ということは本当だ」ということは成り立たない; fact19 -> int5: もし「あの十八例は一儲けするしそれに転倒する」ということは真実でないとすると「それは一儲けしない」ということは成り立つ;
$facts$ = fact1: もしあのユースホステルは退色し易くないとすれば「その老親は退色し易くないかもしくはそれは引き上げするかあるいは両方だ」ということは成り立たない fact2: 仮に「あの十八例は切なくない」ということは確かだとすると「一儲けするし転倒する」ということは成り立たない fact3: もし仮にあのユースホステルが退色し易くないとしたらその老親は退色し易い fact4: その老親は退色し易くないかあるいはそれは引き上げしない fact5: その老親が引き上げするということはないならばあのユースホステルは引き上げする fact6: 「仮にあのユースホステルは朝鮮有事であるなら「その老親は引き上げしないかあるいは退色し易くないか両方だ」ということは事実と異なる」ということは正しい fact7: この鮫島・山崎棟は退色し易くない fact8: 仮に「何かは再起するしまた引き上げする」ということは間違っていれば朝鮮有事だということはない fact9: 「「あのユースホステルは退色し易くない」ということは成り立てばその老親は退色し易くないかまたはそれは引き上げするということはない」ということは確かだ fact10: 仮にその老親は退色し易くないなら「あのユースホステルは退色し易くないかあるいはそれは引き上げしない」ということは誤りである fact11: 何らかのものは一儲けしないならば「それは再起するしさらに引き上げする」ということは成り立たない fact12: その契約下は退色し易い fact13: もしもその逃れが朝鮮有事だとするとあのユースホステルは退色し易いということはない fact14: もしもあのユースホステルは退色し易くないとすれば「その老親は退色し易くないかもしくは引き上げしないか両方だ」ということは嘘である fact15: 仮に「なんらかのものは一儲けするしそれに転倒する」ということは成り立たないとすればそれは一儲けしない fact16: もしもその逃れは朝鮮有事だとしたら「その老親は退色し易くないかもしくは引き上げするか両方である」ということは真実であるということはない fact17: あの泥炭は退色し易いということはない fact18: あのユースホステルが引き上げしないとするとその老親は引き上げする ; $hypothesis$ = もし仮にその逃れは朝鮮有事ならば「その老親は退色し易くないかあるいは引き上げしない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。その逃れは朝鮮有事だ; fact13 & assump1 -> int1: 「あのユースホステルは退色し易くない」ということは成り立つ; int1 & fact14 -> int2: 「その老親は退色し易くないかあるいは引き上げしないかもしくは両方だ」ということは誤りである; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしあのユースホステルは退色し易くないとすれば「その老親は退色し易くないかもしくはそれは引き上げするかあるいは両方だ」ということは成り立たない
事実2: 仮に「あの十八例は切なくない」ということは確かだとすると「一儲けするし転倒する」ということは成り立たない
事実3: もし仮にあのユースホステルが退色し易くないとしたらその老親は退色し易い
事実4: その老親は退色し易くないかあるいはそれは引き上げしない
事実5: その老親が引き上げするということはないならばあのユースホステルは引き上げする
事実6: 「仮にあのユースホステルは朝鮮有事であるなら「その老親は引き上げしないかあるいは退色し易くないか両方だ」ということは事実と異なる」ということは正しい
事実7: この鮫島・山崎棟は退色し易くない
事実8: 仮に「何かは再起するしまた引き上げする」ということは間違っていれば朝鮮有事だということはない
事実9: 「「あのユースホステルは退色し易くない」ということは成り立てばその老親は退色し易くないかまたはそれは引き上げするということはない」ということは確かだ
事実10: 仮にその老親は退色し易くないなら「あのユースホステルは退色し易くないかあるいはそれは引き上げしない」ということは誤りである
事実11: 何らかのものは一儲けしないならば「それは再起するしさらに引き上げする」ということは成り立たない
事実12: その契約下は退色し易い
事実13: もしもその逃れが朝鮮有事だとするとあのユースホステルは退色し易いということはない
事実14: もしもあのユースホステルは退色し易くないとすれば「その老親は退色し易くないかもしくは引き上げしないか両方だ」ということは嘘である
事実15: 仮に「なんらかのものは一儲けするしそれに転倒する」ということは成り立たないとすればそれは一儲けしない
事実16: もしもその逃れは朝鮮有事だとしたら「その老親は退色し易くないかもしくは引き上げするか両方である」ということは真実であるということはない
事実17: あの泥炭は退色し易いということはない
事実18: あのユースホステルが引き上げしないとするとその老親は引き上げする

仮説: もし仮にその逃れは朝鮮有事ならば「その老親は退色し易くないかあるいは引き上げしない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。その逃れは朝鮮有事だ
2. 事実13と仮定1から、推論1: "「あのユースホステルは退色し易くない」ということは成り立つ"が導かれる
3. 推論1と事実14から、推論2: "「その老親は退色し易くないかあるいは引き上げしないかもしくは両方だ」ということは誤りである"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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