「あの切歯は後悔するということはない」ということは確かである
fact1: 「あの切歯は後悔する」ということは誤りでない fact2: 「あの汚染土壌中は後悔する」ということは誤りでない
$facts$ = fact1: 「あの切歯は後悔する」ということは誤りでない fact2: 「あの汚染土壌中は後悔する」ということは誤りでない ; $hypothesis$ = 「あの切歯は後悔するということはない」ということは確かである ; $proof$ = 
事実1: 「あの切歯は後悔する」ということは誤りでない
事実2: 「あの汚染土壌中は後悔する」ということは誤りでない

仮説: 「あの切歯は後悔するということはない」ということは確かである