そのホワイトは取れ難いけれど轢過しない
fact1: 仮にその火花は抜き難いならば「「そのホワイトは取れ難いがしかし轢過しない」ということは間違いである」ということは誤っていない fact2: 「その火花は抜き難い」ということは誤っていない
$facts$ = fact1: 仮にその火花は抜き難いならば「「そのホワイトは取れ難いがしかし轢過しない」ということは間違いである」ということは誤っていない fact2: 「その火花は抜き難い」ということは誤っていない ; $hypothesis$ = そのホワイトは取れ難いけれど轢過しない ; $proof$ = 
事実1: 仮にその火花は抜き難いならば「「そのホワイトは取れ難いがしかし轢過しない」ということは間違いである」ということは誤っていない
事実2: 「その火花は抜き難い」ということは誤っていない

仮説: そのホワイトは取れ難いけれど轢過しない