この気立ては司法でない一方でＣＥＯである
fact1: このスタッフ同士は司法だ fact2: 黒し物は増え難くない fact3: もし仮になにかは増え難くないとすればそれは有り難くないしその上見え易い fact4: もし仮にこのスタッフ同士が黒しないがしかしＣＥＯだとすればこの設置促進は黒し fact5: このスタッフ同士は増え難い fact6: 増え難くない物は黒しということはないかあるいは有り難くないか両方である fact7: この気立ては司法でない fact8: もしなんらかのものが黒しならばＣＥＯだ fact9: 仮に「有り難い」ものがあるならばあの気立ては黒し fact10: もしも何かは有り難いかあるいは増え難いかもしくは両方だとしたらこの気立ては黒し fact11: 「着熟すか話し易いかもしくはどちらもな」ものはある fact12: このスタッフ同士は悪しい fact13: このスタッフ同士は五ミリメートル幅である
fact5 -> int1: 「このスタッフ同士は有り難いかまたはそれは増え難い」ということは成り立つ; int1 -> int2: なんらかのものは有り難いかまたは増え難いかもしくはどちらもである; int2 & fact10 -> int3: この気立ては黒し; fact8 -> int4: 仮にこの気立てが黒しならＣＥＯだ; int3 & int4 -> int5: 「この気立てはＣＥＯだ」ということは真実だ; int5 & fact7 -> hypothesis;
「「この気立ては司法でないがそれはＣＥＯである」ということは嘘だ」ということは成り立つ
fact14 -> int6: もしもこのスタッフ同士が増え難くないとすれば黒しないか有り難くないかあるいは両方ともだ;
$facts$ = fact1: このスタッフ同士は司法だ fact2: 黒し物は増え難くない fact3: もし仮になにかは増え難くないとすればそれは有り難くないしその上見え易い fact4: もし仮にこのスタッフ同士が黒しないがしかしＣＥＯだとすればこの設置促進は黒し fact5: このスタッフ同士は増え難い fact6: 増え難くない物は黒しということはないかあるいは有り難くないか両方である fact7: この気立ては司法でない fact8: もしなんらかのものが黒しならばＣＥＯだ fact9: 仮に「有り難い」ものがあるならばあの気立ては黒し fact10: もしも何かは有り難いかあるいは増え難いかもしくは両方だとしたらこの気立ては黒し fact11: 「着熟すか話し易いかもしくはどちらもな」ものはある fact12: このスタッフ同士は悪しい fact13: このスタッフ同士は五ミリメートル幅である ; $hypothesis$ = この気立ては司法でない一方でＣＥＯである ; $proof$ = 
fact5 -> int1: 「このスタッフ同士は有り難いかまたはそれは増え難い」ということは成り立つ; int1 -> int2: なんらかのものは有り難いかまたは増え難いかもしくはどちらもである; int2 & fact10 -> int3: この気立ては黒し; fact8 -> int4: 仮にこの気立てが黒しならＣＥＯだ; int3 & int4 -> int5: 「この気立てはＣＥＯだ」ということは真実だ; int5 & fact7 -> hypothesis; __PROVED__
事実1: このスタッフ同士は司法だ
事実2: 黒し物は増え難くない
事実3: もし仮になにかは増え難くないとすればそれは有り難くないしその上見え易い
事実4: もし仮にこのスタッフ同士が黒しないがしかしＣＥＯだとすればこの設置促進は黒し
事実5: このスタッフ同士は増え難い
事実6: 増え難くない物は黒しということはないかあるいは有り難くないか両方である
事実7: この気立ては司法でない
事実8: もしなんらかのものが黒しならばＣＥＯだ
事実9: 仮に「有り難い」ものがあるならばあの気立ては黒し
事実10: もしも何かは有り難いかあるいは増え難いかもしくは両方だとしたらこの気立ては黒し
事実11: 「着熟すか話し易いかもしくはどちらもな」ものはある
事実12: このスタッフ同士は悪しい
事実13: このスタッフ同士は五ミリメートル幅である

仮説: この気立ては司法でない一方でＣＥＯである
1. 事実5から、推論1: "「このスタッフ同士は有り難いかまたはそれは増え難い」ということは成り立つ"が導かれる
2. 推論1から、推論2: "なんらかのものは有り難いかまたは増え難いかもしくはどちらもである"が導かれる
3. 推論2と事実10から、推論3: "この気立ては黒し"が導かれる
4. 事実8から、推論4: "仮にこの気立てが黒しならＣＥＯだ"が導かれる
5. 推論3と推論4から、推論5: "「この気立てはＣＥＯだ」ということは真実だ"が導かれる
6. 推論5と事実7から、仮説が導かれる

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