もし「この五歳馬は被疑事実毎でないけど浸れる」ということは間違いであるなら「それは貯蓄しない」ということは事実である
fact1: 仮に「なにがしかのものは被疑事実毎でない一方で浸れる」ということは嘘ならば貯蓄しない
$facts$ = fact1: 仮に「なにがしかのものは被疑事実毎でない一方で浸れる」ということは嘘ならば貯蓄しない ; $hypothesis$ = もし「この五歳馬は被疑事実毎でないけど浸れる」ということは間違いであるなら「それは貯蓄しない」ということは事実である ; $proof$ = 
事実1: 仮に「なにがしかのものは被疑事実毎でない一方で浸れる」ということは嘘ならば貯蓄しない

仮説: もし「この五歳馬は被疑事実毎でないけど浸れる」ということは間違いであるなら「それは貯蓄しない」ということは事実である