「このナンプラーは商品コンセプトであるということはないかまたはキャンセルでないかもしくは両方ともだ」ということは誤りである
fact1: あの戯事は設備するとすれば「このナンプラーは商品コンセプトであるということはないかもしくはキャンセルでないかもしくは両方ともである」ということは事実と異なる fact2: そのパリーグは設備する fact3: あの戯事は設備する
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
$facts$ = fact1: あの戯事は設備するとすれば「このナンプラーは商品コンセプトであるということはないかもしくはキャンセルでないかもしくは両方ともである」ということは事実と異なる fact2: そのパリーグは設備する fact3: あの戯事は設備する ; $hypothesis$ = 「このナンプラーは商品コンセプトであるということはないかまたはキャンセルでないかもしくは両方ともだ」ということは誤りである ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: あの戯事は設備するとすれば「このナンプラーは商品コンセプトであるということはないかもしくはキャンセルでないかもしくは両方ともである」ということは事実と異なる
事実2: そのパリーグは設備する
事実3: あの戯事は設備する

仮説: 「このナンプラーは商品コンセプトであるということはないかまたはキャンセルでないかもしくは両方ともだ」ということは誤りである
1. 事実1と事実3から、仮説が導かれる

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