この三十年代以降は逆走するし望ましい
fact1: この心機能は逆走する fact2: この三十年代以降は逆走する fact3: この三十年代以降は望ましい
$facts$ = fact1: この心機能は逆走する fact2: この三十年代以降は逆走する fact3: この三十年代以降は望ましい ; $hypothesis$ = この三十年代以降は逆走するし望ましい ; $proof$ = 
事実1: この心機能は逆走する
事実2: この三十年代以降は逆走する
事実3: この三十年代以降は望ましい

仮説: この三十年代以降は逆走するし望ましい