「あの洛外は土地基盤整備でないが覚束無い」ということは誤りだ
fact1: あの角はまどろっこしいならば「あの洛外は土地基盤整備でないけど覚束無い」ということは成り立たない fact2: あの角はまどろっこしい
$facts$ = fact1: あの角はまどろっこしいならば「あの洛外は土地基盤整備でないけど覚束無い」ということは成り立たない fact2: あの角はまどろっこしい ; $hypothesis$ = 「あの洛外は土地基盤整備でないが覚束無い」ということは誤りだ ; $proof$ = 
事実1: あの角はまどろっこしいならば「あの洛外は土地基盤整備でないけど覚束無い」ということは成り立たない
事実2: あの角はまどろっこしい

仮説: 「あの洛外は土地基盤整備でないが覚束無い」ということは誤りだ