「「もし古しならば「決め難くなくて生み難い」ということは間違っている」ものはある」ということは成り立たない
fact1: 「仮にあの伝票ホルダーは古しならば「あの伝票ホルダーは決め難くないが生み難い」ということは事実と異なる」ということは真実だ
$facts$ = fact1: 「仮にあの伝票ホルダーは古しならば「あの伝票ホルダーは決め難くないが生み難い」ということは事実と異なる」ということは真実だ ; $hypothesis$ = 「「もし古しならば「決め難くなくて生み難い」ということは間違っている」ものはある」ということは成り立たない ; $proof$ = 
事実1: 「仮にあの伝票ホルダーは古しならば「あの伝票ホルダーは決め難くないが生み難い」ということは事実と異なる」ということは真実だ

仮説: 「「もし古しならば「決め難くなくて生み難い」ということは間違っている」ものはある」ということは成り立たない