「この微細加工技術は説明し難くないし荘厳でない」ということは成り立たない
fact1: そのＥＧＦ‐ライクは結わくし荘厳である fact2: もしもそのＥＧＦ‐ライクが荘厳ならばあの微細加工技術は説明し難くないしその上荘厳でない fact3: もしこの微細加工技術は結わくとしたら「それは説明し難くないし荘厳でない」ということは誤りである fact4: この浴客は男等だしまた荘厳だ
fact1 -> int1: そのＥＧＦ‐ライクは荘厳である; int1 & fact2 -> hypothesis;
「この微細加工技術は説明し難くないしそれは荘厳でない」ということは成り立たない
$facts$ = fact1: そのＥＧＦ‐ライクは結わくし荘厳である fact2: もしもそのＥＧＦ‐ライクが荘厳ならばあの微細加工技術は説明し難くないしその上荘厳でない fact3: もしこの微細加工技術は結わくとしたら「それは説明し難くないし荘厳でない」ということは誤りである fact4: この浴客は男等だしまた荘厳だ ; $hypothesis$ = 「この微細加工技術は説明し難くないし荘厳でない」ということは成り立たない ; $proof$ = 
fact1 -> int1: そのＥＧＦ‐ライクは荘厳である; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: そのＥＧＦ‐ライクは結わくし荘厳である
事実2: もしもそのＥＧＦ‐ライクが荘厳ならばあの微細加工技術は説明し難くないしその上荘厳でない
事実3: もしこの微細加工技術は結わくとしたら「それは説明し難くないし荘厳でない」ということは誤りである
事実4: この浴客は男等だしまた荘厳だ

仮説: 「この微細加工技術は説明し難くないし荘厳でない」ということは成り立たない
1. 事実1から、推論1: "そのＥＧＦ‐ライクは荘厳である"が導かれる
2. 推論1と事実2から、仮説が否定される

よって、仮説が否定されました。