「逃げ為さらないとしたら長しということはない一方で措置である」物はある
fact1: もしあの繰り返し処理が逃げ為さらないとすればそれは長しということはない一方で措置である
$facts$ = fact1: もしあの繰り返し処理が逃げ為さらないとすればそれは長しということはない一方で措置である ; $hypothesis$ = 「逃げ為さらないとしたら長しということはない一方で措置である」物はある ; $proof$ = 
事実1: もしあの繰り返し処理が逃げ為さらないとすればそれは長しということはない一方で措置である

仮説: 「逃げ為さらないとしたら長しということはない一方で措置である」物はある