もし仮にあの十五世紀前半はＥルでないとすれば「その一歩手前は扱い易いかそれは厳つかない」ということは偽だ
fact1: もし仮に何らかのものがＥルだとするとそれは照り付けない fact2: その大草原は土豚でないなら「その一歩手前は扱い易いかあるいは厳ついということはないかどちらもである」ということは成り立たない fact3: もしもあの十五世紀前半はＥルでないとすると「照り付けるしそれは寄る辺無くない」ということは成り立たない fact4: もしその大草原が撃破出来ればそれはがたがたする fact5: 「あの十五世紀前半は照り付けるけれど寄る辺無くない」ということは間違っているならばあの大草原は土豚でない fact6: 仮にあの十五世紀前半はＥルであるなら「それは照り付けるし寄る辺無くない」ということは成り立たない fact7: 「その大草原はがたがたする」ということは真実であるならばあの十五世紀前半は扱い易いということはなくてしかもそれは厳つかない
void -> assump1: 以下のように仮定する。あの十五世紀前半はＥルでない; fact3 & assump1 -> int1: 「あの十五世紀前半は照り付ける一方で寄る辺無くない」ということは誤っている; int1 & fact5 -> int2: 「その大草原は土豚でない」ということは成り立つ; int2 & fact2 -> int3: 「その一歩手前は扱い易いかまたは厳つかないか両方ともである」ということは間違っている; [assump1] & int3 -> hypothesis;
「その一歩手前は照り付けない」ということは本当だ
fact8 -> int4: 仮にその一歩手前がＥルだとしたらそれは照り付けない;
$facts$ = fact1: もし仮に何らかのものがＥルだとするとそれは照り付けない fact2: その大草原は土豚でないなら「その一歩手前は扱い易いかあるいは厳ついということはないかどちらもである」ということは成り立たない fact3: もしもあの十五世紀前半はＥルでないとすると「照り付けるしそれは寄る辺無くない」ということは成り立たない fact4: もしその大草原が撃破出来ればそれはがたがたする fact5: 「あの十五世紀前半は照り付けるけれど寄る辺無くない」ということは間違っているならばあの大草原は土豚でない fact6: 仮にあの十五世紀前半はＥルであるなら「それは照り付けるし寄る辺無くない」ということは成り立たない fact7: 「その大草原はがたがたする」ということは真実であるならばあの十五世紀前半は扱い易いということはなくてしかもそれは厳つかない ; $hypothesis$ = もし仮にあの十五世紀前半はＥルでないとすれば「その一歩手前は扱い易いかそれは厳つかない」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの十五世紀前半はＥルでない; fact3 & assump1 -> int1: 「あの十五世紀前半は照り付ける一方で寄る辺無くない」ということは誤っている; int1 & fact5 -> int2: 「その大草原は土豚でない」ということは成り立つ; int2 & fact2 -> int3: 「その一歩手前は扱い易いかまたは厳つかないか両方ともである」ということは間違っている; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものがＥルだとするとそれは照り付けない
事実2: その大草原は土豚でないなら「その一歩手前は扱い易いかあるいは厳ついということはないかどちらもである」ということは成り立たない
事実3: もしもあの十五世紀前半はＥルでないとすると「照り付けるしそれは寄る辺無くない」ということは成り立たない
事実4: もしその大草原が撃破出来ればそれはがたがたする
事実5: 「あの十五世紀前半は照り付けるけれど寄る辺無くない」ということは間違っているならばあの大草原は土豚でない
事実6: 仮にあの十五世紀前半はＥルであるなら「それは照り付けるし寄る辺無くない」ということは成り立たない
事実7: 「その大草原はがたがたする」ということは真実であるならばあの十五世紀前半は扱い易いということはなくてしかもそれは厳つかない

仮説: もし仮にあの十五世紀前半はＥルでないとすれば「その一歩手前は扱い易いかそれは厳つかない」ということは偽だ
1. 仮定1: 以下のように仮定する。あの十五世紀前半はＥルでない
2. 事実3と仮定1から、推論1: "「あの十五世紀前半は照り付ける一方で寄る辺無くない」ということは誤っている"が導かれる
3. 推論1と事実5から、推論2: "「その大草原は土豚でない」ということは成り立つ"が導かれる
4. 推論2と事実2から、推論3: "「その一歩手前は扱い易いかまたは厳つかないか両方ともである」ということは間違っている"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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