この後衛は歩き回らない
fact1: あのトレハロースが運動線維だということはないならばこの後衛は歩き回らない fact2: あのトレハロースは運動線維でない
$facts$ = fact1: あのトレハロースが運動線維だということはないならばこの後衛は歩き回らない fact2: あのトレハロースは運動線維でない ; $hypothesis$ = この後衛は歩き回らない ; $proof$ = 
事実1: あのトレハロースが運動線維だということはないならばこの後衛は歩き回らない
事実2: あのトレハロースは運動線維でない

仮説: この後衛は歩き回らない