もし仮に「あの御艶は行き来するか凍て付くということはないかあるいはどちらもである」ということは真実であるということはないとすれば「御若くない」ということは成り立つ
fact1: もし仮に「とあるものは行き来するかあるいは凍て付かないかまたはどちらもだ」ということは成り立たないとしたら御若くない
$facts$ = fact1: もし仮に「とあるものは行き来するかあるいは凍て付かないかまたはどちらもだ」ということは成り立たないとしたら御若くない ; $hypothesis$ = もし仮に「あの御艶は行き来するか凍て付くということはないかあるいはどちらもである」ということは真実であるということはないとすれば「御若くない」ということは成り立つ ; $proof$ = 
事実1: もし仮に「とあるものは行き来するかあるいは凍て付かないかまたはどちらもだ」ということは成り立たないとしたら御若くない

仮説: もし仮に「あの御艶は行き来するか凍て付くということはないかあるいはどちらもである」ということは真実であるということはないとすれば「御若くない」ということは成り立つ