この極まりは付保する
fact1: この極まりは出撃する fact2: もし仮に「何らかの物は上げ易くないかそれは剥離し難いかまたはどちらもである」ということは成り立たないとするとそれは付保しない fact3: もしもある物は付保しないとすれば「それは出撃するということはないかもしくはそれはカラーコンクリートである」ということは成り立たない fact4: 「もしこの極まりは出撃するなら「この極まりは上げ易くないかまたは剥離し難いかもしくは両方である」ということは誤っている」ということは事実だ fact5: もし仮になにかは自動能でないなら「出撃しないし更にそれは付保しない」ということは嘘である
fact4 & fact1 -> int1: 「この極まりは上げ易くないかあるいは剥離し難いかあるいはどちらもである」ということは事実と異なる; fact2 -> int2: もしも「この極まりは上げ易くないかまたは剥離し難いかまたは両方だ」ということは誤りであるとしたら付保するということはない; int1 & int2 -> hypothesis;
「この極まりは付保する」ということは事実である
fact6 -> int3: もし仮に「この極まりは自動能でない」ということは確かであるとしたら「出撃しないしそれに付保しない」ということは成り立たない;
$facts$ = fact1: この極まりは出撃する fact2: もし仮に「何らかの物は上げ易くないかそれは剥離し難いかまたはどちらもである」ということは成り立たないとするとそれは付保しない fact3: もしもある物は付保しないとすれば「それは出撃するということはないかもしくはそれはカラーコンクリートである」ということは成り立たない fact4: 「もしこの極まりは出撃するなら「この極まりは上げ易くないかまたは剥離し難いかもしくは両方である」ということは誤っている」ということは事実だ fact5: もし仮になにかは自動能でないなら「出撃しないし更にそれは付保しない」ということは嘘である ; $hypothesis$ = この極まりは付保する ; $proof$ = 
fact4 & fact1 -> int1: 「この極まりは上げ易くないかあるいは剥離し難いかあるいはどちらもである」ということは事実と異なる; fact2 -> int2: もしも「この極まりは上げ易くないかまたは剥離し難いかまたは両方だ」ということは誤りであるとしたら付保するということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この極まりは出撃する
事実2: もし仮に「何らかの物は上げ易くないかそれは剥離し難いかまたはどちらもである」ということは成り立たないとするとそれは付保しない
事実3: もしもある物は付保しないとすれば「それは出撃するということはないかもしくはそれはカラーコンクリートである」ということは成り立たない
事実4: 「もしこの極まりは出撃するなら「この極まりは上げ易くないかまたは剥離し難いかもしくは両方である」ということは誤っている」ということは事実だ
事実5: もし仮になにかは自動能でないなら「出撃しないし更にそれは付保しない」ということは嘘である

仮説: この極まりは付保する
1. 事実4と事実1から、推論1: "「この極まりは上げ易くないかあるいは剥離し難いかあるいはどちらもである」ということは事実と異なる"が導かれる
2. 事実2から、推論2: "もしも「この極まりは上げ易くないかまたは剥離し難いかまたは両方だ」ということは誤りであるとしたら付保するということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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