「このＢ子は機能分化するがしかし減量するということはない」ということは確かでない
fact1: 仮に「「益無し」ということは間違いでない」ものがあるとしたらこのＢ子は機能分化する一方で減量しない fact2: 「益無し」物はある
$facts$ = fact1: 仮に「「益無し」ということは間違いでない」ものがあるとしたらこのＢ子は機能分化する一方で減量しない fact2: 「益無し」物はある ; $hypothesis$ = 「このＢ子は機能分化するがしかし減量するということはない」ということは確かでない ; $proof$ = 
事実1: 仮に「「益無し」ということは間違いでない」ものがあるとしたらこのＢ子は機能分化する一方で減量しない
事実2: 「益無し」物はある

仮説: 「このＢ子は機能分化するがしかし減量するということはない」ということは確かでない