「あの事後プロトコール・データは整数値であるか善処するということはないかどちらもだ」ということは誤りだ
fact1: 何かは西方位であるかもしくはオフコンであるかあるいは両方ともである fact2: 仮にあのマプロチリンは改革しないとすれば「あの事後プロトコール・データは整数値であるかまたはそれは善処するということはないかもしくは両方である」ということは誤っている fact3: 「もしも何かは西方位であるかまたはそれがオフコンだとするとあのマプロチリンは改革しない」ということは真実だ fact4: もしあのマプロチリンが整数値でないとするとあの事後プロトコール・データは改革しない
fact1 & fact3 -> int1: あのマプロチリンは改革しない; int1 & fact2 -> hypothesis;
$facts$ = fact1: 何かは西方位であるかもしくはオフコンであるかあるいは両方ともである fact2: 仮にあのマプロチリンは改革しないとすれば「あの事後プロトコール・データは整数値であるかまたはそれは善処するということはないかもしくは両方である」ということは誤っている fact3: 「もしも何かは西方位であるかまたはそれがオフコンだとするとあのマプロチリンは改革しない」ということは真実だ fact4: もしあのマプロチリンが整数値でないとするとあの事後プロトコール・データは改革しない ; $hypothesis$ = 「あの事後プロトコール・データは整数値であるか善処するということはないかどちらもだ」ということは誤りだ ; $proof$ = 
fact1 & fact3 -> int1: あのマプロチリンは改革しない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 何かは西方位であるかもしくはオフコンであるかあるいは両方ともである
事実2: 仮にあのマプロチリンは改革しないとすれば「あの事後プロトコール・データは整数値であるかまたはそれは善処するということはないかもしくは両方である」ということは誤っている
事実3: 「もしも何かは西方位であるかまたはそれがオフコンだとするとあのマプロチリンは改革しない」ということは真実だ
事実4: もしあのマプロチリンが整数値でないとするとあの事後プロトコール・データは改革しない

仮説: 「あの事後プロトコール・データは整数値であるか善処するということはないかどちらもだ」ということは誤りだ
1. 事実1と事実3から、推論1: "あのマプロチリンは改革しない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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