もし仮に「「あのスペシャルランチはメイン料理であるけれど前々世でない」ということは成り立つ」ということは間違っているとしたらそれは行路でない
fact1: 「あるものはメイン料理だが前々世でない」ということは誤っているとしたらそれは行路であるということはない
$facts$ = fact1: 「あるものはメイン料理だが前々世でない」ということは誤っているとしたらそれは行路であるということはない ; $hypothesis$ = もし仮に「「あのスペシャルランチはメイン料理であるけれど前々世でない」ということは成り立つ」ということは間違っているとしたらそれは行路でない ; $proof$ = 
事実1: 「あるものはメイン料理だが前々世でない」ということは誤っているとしたらそれは行路であるということはない

仮説: もし仮に「「あのスペシャルランチはメイン料理であるけれど前々世でない」ということは成り立つ」ということは間違っているとしたらそれは行路でない