「もしガイドラインでないならば「疑わしくない一方で転がり出る」ということは嘘な」ものはある
fact1: なにかはガイドラインだということはないならば「それは疑わしくない一方で転がり出る」ということは間違いである
fact1 -> int1: もし仮にその未開地はガイドラインでないとすると「「それは疑わしいということはないけど転がり出る」ということは正しい」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: なにかはガイドラインだということはないならば「それは疑わしくない一方で転がり出る」ということは間違いである ; $hypothesis$ = 「もしガイドラインでないならば「疑わしくない一方で転がり出る」ということは嘘な」ものはある ; $proof$ = 
fact1 -> int1: もし仮にその未開地はガイドラインでないとすると「「それは疑わしいということはないけど転がり出る」ということは正しい」ということは間違いである; int1 -> hypothesis; __PROVED__
事実1: なにかはガイドラインだということはないならば「それは疑わしくない一方で転がり出る」ということは間違いである

仮説: 「もしガイドラインでないならば「疑わしくない一方で転がり出る」ということは嘘な」ものはある
1. 事実1から、推論1: "もし仮にその未開地はガイドラインでないとすると「「それは疑わしいということはないけど転がり出る」ということは正しい」ということは間違いである"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。