「あの中動相は呼吸しないしすんごいということはない」ということは成り立たない
fact1: もしもなにかは活性型ビタミンＤでないなら「あの中動相は呼吸しないしすんごくない」ということは誤りだ fact2: 「「あの中動相は呼吸しない一方ですんごい」ということは真実だ」ということは誤りである fact3: なにかは活性型ビタミンＤでない fact4: もし何らかの物が呼吸すればそれは十三号室でないけれど活性型ビタミンＤである fact5: あのカセットが通話時間だとすればあの中動相は活性型ビタミンＤだ fact6: もし「なんらかのものはすんごい」ということは事実であるとすると「それは呼吸する」ということは事実だ fact7: この南宗が通話時間だとすればあのカセットは通話時間だ fact8: 何かは無声化し易くない fact9: なにかはすんごい
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
あの中動相は呼吸しなくてすんごくない
$facts$ = fact1: もしもなにかは活性型ビタミンＤでないなら「あの中動相は呼吸しないしすんごくない」ということは誤りだ fact2: 「「あの中動相は呼吸しない一方ですんごい」ということは真実だ」ということは誤りである fact3: なにかは活性型ビタミンＤでない fact4: もし何らかの物が呼吸すればそれは十三号室でないけれど活性型ビタミンＤである fact5: あのカセットが通話時間だとすればあの中動相は活性型ビタミンＤだ fact6: もし「なんらかのものはすんごい」ということは事実であるとすると「それは呼吸する」ということは事実だ fact7: この南宗が通話時間だとすればあのカセットは通話時間だ fact8: 何かは無声化し易くない fact9: なにかはすんごい ; $hypothesis$ = 「あの中動相は呼吸しないしすんごいということはない」ということは成り立たない ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: もしもなにかは活性型ビタミンＤでないなら「あの中動相は呼吸しないしすんごくない」ということは誤りだ
事実2: 「「あの中動相は呼吸しない一方ですんごい」ということは真実だ」ということは誤りである
事実3: なにかは活性型ビタミンＤでない
事実4: もし何らかの物が呼吸すればそれは十三号室でないけれど活性型ビタミンＤである
事実5: あのカセットが通話時間だとすればあの中動相は活性型ビタミンＤだ
事実6: もし「なんらかのものはすんごい」ということは事実であるとすると「それは呼吸する」ということは事実だ
事実7: この南宗が通話時間だとすればあのカセットは通話時間だ
事実8: 何かは無声化し易くない
事実9: なにかはすんごい

仮説: 「あの中動相は呼吸しないしすんごいということはない」ということは成り立たない
1. 事実3と事実1から、仮説が導かれる

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