「あのアジア各地は鈍くてまた自然エネルギーだ」ということは誤っている
fact1: もしその文章中が目撃出来るしかつ立て易いとしたらその過去最大は鈍くない fact2: 仮に「その過去最大は鈍くない」ということは正しいならば「あのアジア各地は鈍くてそれに自然エネルギーである」ということは成り立つということはない fact3: その文章中は立て易い fact4: その文章中は目撃出来るししかもそれは立て易い
fact1 & fact4 -> int1: その過去最大は鈍くない; int1 & fact2 -> hypothesis;
$facts$ = fact1: もしその文章中が目撃出来るしかつ立て易いとしたらその過去最大は鈍くない fact2: 仮に「その過去最大は鈍くない」ということは正しいならば「あのアジア各地は鈍くてそれに自然エネルギーである」ということは成り立つということはない fact3: その文章中は立て易い fact4: その文章中は目撃出来るししかもそれは立て易い ; $hypothesis$ = 「あのアジア各地は鈍くてまた自然エネルギーだ」ということは誤っている ; $proof$ = 
fact1 & fact4 -> int1: その過去最大は鈍くない; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしその文章中が目撃出来るしかつ立て易いとしたらその過去最大は鈍くない
事実2: 仮に「その過去最大は鈍くない」ということは正しいならば「あのアジア各地は鈍くてそれに自然エネルギーである」ということは成り立つということはない
事実3: その文章中は立て易い
事実4: その文章中は目撃出来るししかもそれは立て易い

仮説: 「あのアジア各地は鈍くてまた自然エネルギーだ」ということは誤っている
1. 事実1と事実4から、推論1: "その過去最大は鈍くない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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