「「もし「パック入りでない」ということは確かだとしたら「行末でないけれど鞭打つ」ということは真実でない」ものはある」ということは真実でない
fact1: この本線上はパック入りだということはないならば「それは行末だということはない一方で鞭打つ」ということは間違っている
$facts$ = fact1: この本線上はパック入りだということはないならば「それは行末だということはない一方で鞭打つ」ということは間違っている ; $hypothesis$ = 「「もし「パック入りでない」ということは確かだとしたら「行末でないけれど鞭打つ」ということは真実でない」ものはある」ということは真実でない ; $proof$ = 
事実1: この本線上はパック入りだということはないならば「それは行末だということはない一方で鞭打つ」ということは間違っている

仮説: 「「もし「パック入りでない」ということは確かだとしたら「行末でないけれど鞭打つ」ということは真実でない」ものはある」ということは真実でない