その音形は体様でない
fact1: 「その音形は汚れ易くない」ということは真実だ fact2: あの従属変数が体様であるとしたらその音形が汚れ易くないしさらに役割分担意識でない fact3: あの従属変数は体様でない fact4: もしあの従属変数が役割分担意識であるならばその音形は体様だということはないしそれに汚れ易くない fact5: 手強くない物は体様だし更に役割分担意識だ fact6: 仮にあの従属変数が受け渡ししないけれど手強いとするとその音形は手強くない fact7: あの進化ルートは体様でない fact8: あの従属変数は役割分担意識である
fact4 & fact8 -> int1: その音形は体様でないしまた汚れ易くない; int1 -> hypothesis;
その音形は体様である
fact10 -> int2: もし仮にその音形が手強くないならば体様であるしさらにそれは役割分担意識だ;
$facts$ = fact1: 「その音形は汚れ易くない」ということは真実だ fact2: あの従属変数が体様であるとしたらその音形が汚れ易くないしさらに役割分担意識でない fact3: あの従属変数は体様でない fact4: もしあの従属変数が役割分担意識であるならばその音形は体様だということはないしそれに汚れ易くない fact5: 手強くない物は体様だし更に役割分担意識だ fact6: 仮にあの従属変数が受け渡ししないけれど手強いとするとその音形は手強くない fact7: あの進化ルートは体様でない fact8: あの従属変数は役割分担意識である ; $hypothesis$ = その音形は体様でない ; $proof$ = 
fact4 & fact8 -> int1: その音形は体様でないしまた汚れ易くない; int1 -> hypothesis; __PROVED__
事実1: 「その音形は汚れ易くない」ということは真実だ
事実2: あの従属変数が体様であるとしたらその音形が汚れ易くないしさらに役割分担意識でない
事実3: あの従属変数は体様でない
事実4: もしあの従属変数が役割分担意識であるならばその音形は体様だということはないしそれに汚れ易くない
事実5: 手強くない物は体様だし更に役割分担意識だ
事実6: 仮にあの従属変数が受け渡ししないけれど手強いとするとその音形は手強くない
事実7: あの進化ルートは体様でない
事実8: あの従属変数は役割分担意識である

仮説: その音形は体様でない
1. 事実4と事実8から、推論1: "その音形は体様でないしまた汚れ易くない"が導かれる
2. 推論1から、仮説が導かれる

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