「その左舷は上れるけれどＡ土地でない」ということは成り立つということはない
fact1: 「まう」ものはある fact2: もしも「まう」物があるとすればその左舷は上れるがＡ土地であるということはない
$facts$ = fact1: 「まう」ものはある fact2: もしも「まう」物があるとすればその左舷は上れるがＡ土地であるということはない ; $hypothesis$ = 「その左舷は上れるけれどＡ土地でない」ということは成り立つということはない ; $proof$ = 
事実1: 「まう」ものはある
事実2: もしも「まう」物があるとすればその左舷は上れるがＡ土地であるということはない

仮説: 「その左舷は上れるけれどＡ土地でない」ということは成り立つということはない