あの万一は超克する
fact1: 仮にこのＥＵ地域政策はゼロ以外であるかもしくは多項式であるかまたはどちらもだとすれば「あの万一は超克しない」ということは正しい fact2: このＥＵ地域政策は支障無い fact3: もし仮にこのＥＵ地域政策は支障無いとしたら「それはゼロ以外である」ということは事実だ
fact3 & fact2 -> int1: このＥＵ地域政策はゼロ以外だ; int1 -> int2: このＥＵ地域政策はゼロ以外であるかあるいは多項式であるかまたはどちらもである; int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮にこのＥＵ地域政策はゼロ以外であるかもしくは多項式であるかまたはどちらもだとすれば「あの万一は超克しない」ということは正しい fact2: このＥＵ地域政策は支障無い fact3: もし仮にこのＥＵ地域政策は支障無いとしたら「それはゼロ以外である」ということは事実だ ; $hypothesis$ = あの万一は超克する ; $proof$ = 
fact3 & fact2 -> int1: このＥＵ地域政策はゼロ以外だ; int1 -> int2: このＥＵ地域政策はゼロ以外であるかあるいは多項式であるかまたはどちらもである; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこのＥＵ地域政策はゼロ以外であるかもしくは多項式であるかまたはどちらもだとすれば「あの万一は超克しない」ということは正しい
事実2: このＥＵ地域政策は支障無い
事実3: もし仮にこのＥＵ地域政策は支障無いとしたら「それはゼロ以外である」ということは事実だ

仮説: あの万一は超克する
1. 事実3と事実2から、推論1: "このＥＵ地域政策はゼロ以外だ"が導かれる
2. 推論1から、推論2: "このＥＵ地域政策はゼロ以外であるかあるいは多項式であるかまたはどちらもである"が導かれる
3. 推論2と事実1から、仮説が否定される

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