その妄執は申す
fact1: あのＵＲＬは唐組でない fact2: もしあのＵＲＬは唐組でないとすれば「それは御見せしないかあるいはそれは成功し易いかあるいはどちらもである」ということは誤っている fact3: もしも「「御見せしないかまたは成功し易いかあるいはどちらもだ」ということは成り立たない」ものがあるとするとその妄執は申す
fact2 & fact1 -> int1: 「あのＵＲＬは御見せしないかそれは成功し易い」ということは偽だ; int1 -> int2: 「「御見せしないかあるいは成功し易いかあるいは両方だ」ということは間違っている」ものはある; int2 & fact3 -> hypothesis;
$facts$ = fact1: あのＵＲＬは唐組でない fact2: もしあのＵＲＬは唐組でないとすれば「それは御見せしないかあるいはそれは成功し易いかあるいはどちらもである」ということは誤っている fact3: もしも「「御見せしないかまたは成功し易いかあるいはどちらもだ」ということは成り立たない」ものがあるとするとその妄執は申す ; $hypothesis$ = その妄執は申す ; $proof$ = 
fact2 & fact1 -> int1: 「あのＵＲＬは御見せしないかそれは成功し易い」ということは偽だ; int1 -> int2: 「「御見せしないかあるいは成功し易いかあるいは両方だ」ということは間違っている」ものはある; int2 & fact3 -> hypothesis; __PROVED__
事実1: あのＵＲＬは唐組でない
事実2: もしあのＵＲＬは唐組でないとすれば「それは御見せしないかあるいはそれは成功し易いかあるいはどちらもである」ということは誤っている
事実3: もしも「「御見せしないかまたは成功し易いかあるいはどちらもだ」ということは成り立たない」ものがあるとするとその妄執は申す

仮説: その妄執は申す
1. 事実2と事実1から、推論1: "「あのＵＲＬは御見せしないかそれは成功し易い」ということは偽だ"が導かれる
2. 推論1から、推論2: "「「御見せしないかあるいは成功し易いかあるいは両方だ」ということは間違っている」ものはある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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