「「あの振り込み金は千八百人だけれど精出すということはない」ということは正しい」ということは真実でない
fact1: 「あの振り込み金は千八百人だが精出さない」ということは本当でない
$facts$ = fact1: 「あの振り込み金は千八百人だが精出さない」ということは本当でない ; $hypothesis$ = 「「あの振り込み金は千八百人だけれど精出すということはない」ということは正しい」ということは真実でない ; $proof$ = 
事実1: 「あの振り込み金は千八百人だが精出さない」ということは本当でない

仮説: 「「あの振り込み金は千八百人だけれど精出すということはない」ということは正しい」ということは真実でない