この各列は同梱しない
fact1: この各列は痛ましい fact2: もしこの各列は痛ましいなら「それは同梱する」ということは誤りでない
$facts$ = fact1: この各列は痛ましい fact2: もしこの各列は痛ましいなら「それは同梱する」ということは誤りでない ; $hypothesis$ = この各列は同梱しない ; $proof$ = 
事実1: この各列は痛ましい
事実2: もしこの各列は痛ましいなら「それは同梱する」ということは誤りでない

仮説: この各列は同梱しない