「あのアルキルは変更するということはない」ということは本当だ
fact1: 仮にあのアルキルは山ちゃんであるとしたら「それは変更する」ということは嘘であるということはない fact2: あのアルキルは山ちゃんだ
$facts$ = fact1: 仮にあのアルキルは山ちゃんであるとしたら「それは変更する」ということは嘘であるということはない fact2: あのアルキルは山ちゃんだ ; $hypothesis$ = 「あのアルキルは変更するということはない」ということは本当だ ; $proof$ = 
事実1: 仮にあのアルキルは山ちゃんであるとしたら「それは変更する」ということは嘘であるということはない
事実2: あのアルキルは山ちゃんだ

仮説: 「あのアルキルは変更するということはない」ということは本当だ