あのグリンピースは切り易いかあるいは動き難くないかどちらもである
fact1: 「「絶縁する一方でメンバー企業でない」ということは偽な」物はある fact2: もし仮にあのインボルブメントが切り易くないならあのグリンピースは切り易いかまたは動き難くないかあるいは両方ともである fact3: 「仮に「「絶縁するけれどメンバー企業でない」ということは間違いである」ものがあるならあのインボルブメントは切り易くない」ということは正しい
fact1 & fact3 -> int1: あのインボルブメントは切り易くない; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「「絶縁する一方でメンバー企業でない」ということは偽な」物はある fact2: もし仮にあのインボルブメントが切り易くないならあのグリンピースは切り易いかまたは動き難くないかあるいは両方ともである fact3: 「仮に「「絶縁するけれどメンバー企業でない」ということは間違いである」ものがあるならあのインボルブメントは切り易くない」ということは正しい ; $hypothesis$ = あのグリンピースは切り易いかあるいは動き難くないかどちらもである ; $proof$ = 
fact1 & fact3 -> int1: あのインボルブメントは切り易くない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 「「絶縁する一方でメンバー企業でない」ということは偽な」物はある
事実2: もし仮にあのインボルブメントが切り易くないならあのグリンピースは切り易いかまたは動き難くないかあるいは両方ともである
事実3: 「仮に「「絶縁するけれどメンバー企業でない」ということは間違いである」ものがあるならあのインボルブメントは切り易くない」ということは正しい

仮説: あのグリンピースは切り易いかあるいは動き難くないかどちらもである
1. 事実1と事実3から、推論1: "あのインボルブメントは切り易くない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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