その進行度は一本釣りでない
fact1: もしもその上戸が歩かすとするとその進行度は一本釣りでない fact2: その上戸は歩かす
$facts$ = fact1: もしもその上戸が歩かすとするとその進行度は一本釣りでない fact2: その上戸は歩かす ; $hypothesis$ = その進行度は一本釣りでない ; $proof$ = 
事実1: もしもその上戸が歩かすとするとその進行度は一本釣りでない
事実2: その上戸は歩かす

仮説: その進行度は一本釣りでない