「「仮にこの不完備契約が離れ業であるとすればこの不完備契約はモラーヴィア・ピルスでないがしかし復旧する」ということは本当だ」ということは誤りである
fact1: 離れ業はモラーヴィア・ピルスでないが復旧する
$facts$ = fact1: 離れ業はモラーヴィア・ピルスでないが復旧する ; $hypothesis$ = 「「仮にこの不完備契約が離れ業であるとすればこの不完備契約はモラーヴィア・ピルスでないがしかし復旧する」ということは本当だ」ということは誤りである ; $proof$ = 
事実1: 離れ業はモラーヴィア・ピルスでないが復旧する

仮説: 「「仮にこの不完備契約が離れ業であるとすればこの不完備契約はモラーヴィア・ピルスでないがしかし復旧する」ということは本当だ」ということは誤りである