あの知・徳・体は固化するということはない
fact1: 「あの知・徳・体は知的欠陥でなくておまけに多元化しない」ということは成り立たないなら固化する fact2: 「「あの知・徳・体は知的欠陥でなくてかつ多元化しない」ということは成り立つということはない」ということは確かである
$facts$ = fact1: 「あの知・徳・体は知的欠陥でなくておまけに多元化しない」ということは成り立たないなら固化する fact2: 「「あの知・徳・体は知的欠陥でなくてかつ多元化しない」ということは成り立つということはない」ということは確かである ; $hypothesis$ = あの知・徳・体は固化するということはない ; $proof$ = 
事実1: 「あの知・徳・体は知的欠陥でなくておまけに多元化しない」ということは成り立たないなら固化する
事実2: 「「あの知・徳・体は知的欠陥でなくてかつ多元化しない」ということは成り立つということはない」ということは確かである

仮説: あの知・徳・体は固化するということはない