その一式戦は再配分する
fact1: 何かは一般化するとするとその一式戦は再配分しない fact2: 「「一般化する」ということは本当である」物はある
$facts$ = fact1: 何かは一般化するとするとその一式戦は再配分しない fact2: 「「一般化する」ということは本当である」物はある ; $hypothesis$ = その一式戦は再配分する ; $proof$ = 
事実1: 何かは一般化するとするとその一式戦は再配分しない
事実2: 「「一般化する」ということは本当である」物はある

仮説: その一式戦は再配分する