「その分類指標は社会層だ」ということは間違いである
fact1: 骨っぽくない物があるとしたらその分類指標は変数間であるか直り切らないかまたは両方ともである fact2: もしもその司令塔は最大速力であるならば残存乳房でなくて骨っぽくない fact3: その司令塔は最大速力である fact4: あの短は直り切る fact5: もしもなにかは変数間であるかまたはそれは直り切るということはないかまたは両方であるとすればそれは社会層でない
fact2 & fact3 -> int1: その司令塔は残存乳房でなくてしかもそれは骨っぽくない; int1 -> int2: その司令塔は骨っぽくない; int2 -> int3: 「骨っぽくない」ものはある; int3 & fact1 -> int4: その分類指標は変数間であるかもしくは直り切るということはないかまたは両方だ; fact5 -> int5: もしもその分類指標が変数間であるかまたは直り切るということはないとするとそれは社会層でない; int4 & int5 -> hypothesis;
$facts$ = fact1: 骨っぽくない物があるとしたらその分類指標は変数間であるか直り切らないかまたは両方ともである fact2: もしもその司令塔は最大速力であるならば残存乳房でなくて骨っぽくない fact3: その司令塔は最大速力である fact4: あの短は直り切る fact5: もしもなにかは変数間であるかまたはそれは直り切るということはないかまたは両方であるとすればそれは社会層でない ; $hypothesis$ = 「その分類指標は社会層だ」ということは間違いである ; $proof$ = 
fact2 & fact3 -> int1: その司令塔は残存乳房でなくてしかもそれは骨っぽくない; int1 -> int2: その司令塔は骨っぽくない; int2 -> int3: 「骨っぽくない」ものはある; int3 & fact1 -> int4: その分類指標は変数間であるかもしくは直り切るということはないかまたは両方だ; fact5 -> int5: もしもその分類指標が変数間であるかまたは直り切るということはないとするとそれは社会層でない; int4 & int5 -> hypothesis; __PROVED__
事実1: 骨っぽくない物があるとしたらその分類指標は変数間であるか直り切らないかまたは両方ともである
事実2: もしもその司令塔は最大速力であるならば残存乳房でなくて骨っぽくない
事実3: その司令塔は最大速力である
事実4: あの短は直り切る
事実5: もしもなにかは変数間であるかまたはそれは直り切るということはないかまたは両方であるとすればそれは社会層でない

仮説: 「その分類指標は社会層だ」ということは間違いである
1. 事実2と事実3から、推論1: "その司令塔は残存乳房でなくてしかもそれは骨っぽくない"が導かれる
2. 推論1から、推論2: "その司令塔は骨っぽくない"が導かれる
3. 推論2から、推論3: "「骨っぽくない」ものはある"が導かれる
4. 推論3と事実1から、推論4: "その分類指標は変数間であるかもしくは直り切るということはないかまたは両方だ"が導かれる
5. 事実5から、推論5: "もしもその分類指標が変数間であるかまたは直り切るということはないとするとそれは社会層でない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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