あの都市跡はテキストフレームでないが立ち行く
fact1: 「あの都市跡はテキストフレームでないがしかしそれは立ち行く」ということは成り立つということはない
$facts$ = fact1: 「あの都市跡はテキストフレームでないがしかしそれは立ち行く」ということは成り立つということはない ; $hypothesis$ = あの都市跡はテキストフレームでないが立ち行く ; $proof$ = 
事実1: 「あの都市跡はテキストフレームでないがしかしそれは立ち行く」ということは成り立つということはない

仮説: あの都市跡はテキストフレームでないが立ち行く