その羽目は捨つということはない
fact1: もしその羽目は説示する一方で激減しないならそれは捨つ fact2: その羽目は説示する一方で激減しない
$facts$ = fact1: もしその羽目は説示する一方で激減しないならそれは捨つ fact2: その羽目は説示する一方で激減しない ; $hypothesis$ = その羽目は捨つということはない ; $proof$ = 
事実1: もしその羽目は説示する一方で激減しないならそれは捨つ
事実2: その羽目は説示する一方で激減しない

仮説: その羽目は捨つということはない