「もし仮に「このローマ世界は避け難いがそれは捨て難くない」ということは成り立たないならこのローマ世界は遠し」ということは誤りだ
fact1: 仮に「なにがしかの物は避け難い一方で捨て難くない」ということは成り立たないなら「それは遠し」ということは成り立つ
$facts$ = fact1: 仮に「なにがしかの物は避け難い一方で捨て難くない」ということは成り立たないなら「それは遠し」ということは成り立つ ; $hypothesis$ = 「もし仮に「このローマ世界は避け難いがそれは捨て難くない」ということは成り立たないならこのローマ世界は遠し」ということは誤りだ ; $proof$ = 
事実1: 仮に「なにがしかの物は避け難い一方で捨て難くない」ということは成り立たないなら「それは遠し」ということは成り立つ

仮説: 「もし仮に「このローマ世界は避け難いがそれは捨て難くない」ということは成り立たないならこのローマ世界は遠し」ということは誤りだ