「仮にその自由移動が甚だしとすればその自由移動は後悔する」ということは偽である
fact1: 甚だしものは後悔する
$facts$ = fact1: 甚だしものは後悔する ; $hypothesis$ = 「仮にその自由移動が甚だしとすればその自由移動は後悔する」ということは偽である ; $proof$ = 
事実1: 甚だしものは後悔する

仮説: 「仮にその自由移動が甚だしとすればその自由移動は後悔する」ということは偽である