「「もし仮にオブジェクトクラスでないとすれば「「主計官でなくてまた嫌わない」ということは事実だ」ということは成り立たない」ものはある」ということは誤りである
fact1: もしもあの審査支払い機関はオブジェクトクラスでないとすると「「主計官でなくてそれは嫌わない」ということは正しい」ということは事実でない
$facts$ = fact1: もしもあの審査支払い機関はオブジェクトクラスでないとすると「「主計官でなくてそれは嫌わない」ということは正しい」ということは事実でない ; $hypothesis$ = 「「もし仮にオブジェクトクラスでないとすれば「「主計官でなくてまた嫌わない」ということは事実だ」ということは成り立たない」ものはある」ということは誤りである ; $proof$ = 
事実1: もしもあの審査支払い機関はオブジェクトクラスでないとすると「「主計官でなくてそれは嫌わない」ということは正しい」ということは事実でない

仮説: 「「もし仮にオブジェクトクラスでないとすれば「「主計官でなくてまた嫌わない」ということは事実だ」ということは成り立たない」ものはある」ということは誤りである