「仮にどうしても欲しいとすれば「「落選だけれどＹ財生産でない」ということは事実である」ということは嘘な」物はある
fact1: もしもあの変化はどうしても欲しいとすれば「それは落選であるがしかしＹ財生産でない」ということは事実と異なる fact2: 「あの変化はどうしても欲しい」ということは本当であるとすれば「それは落選だしＹ財生産だ」ということは事実と異なる fact3: 「あの変化はどうしても欲しい」ということは確かであるならばそれは落選だがしかしＹ財生産でない fact4: 「もしもどうしても欲しいとしたら落選で加えてＹ財生産でない」ものはある
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もしもあの変化はどうしても欲しいとすれば「それは落選であるがしかしＹ財生産でない」ということは事実と異なる fact2: 「あの変化はどうしても欲しい」ということは本当であるとすれば「それは落選だしＹ財生産だ」ということは事実と異なる fact3: 「あの変化はどうしても欲しい」ということは確かであるならばそれは落選だがしかしＹ財生産でない fact4: 「もしもどうしても欲しいとしたら落選で加えてＹ財生産でない」ものはある ; $hypothesis$ = 「仮にどうしても欲しいとすれば「「落選だけれどＹ財生産でない」ということは事実である」ということは嘘な」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもあの変化はどうしても欲しいとすれば「それは落選であるがしかしＹ財生産でない」ということは事実と異なる
事実2: 「あの変化はどうしても欲しい」ということは本当であるとすれば「それは落選だしＹ財生産だ」ということは事実と異なる
事実3: 「あの変化はどうしても欲しい」ということは確かであるならばそれは落選だがしかしＹ財生産でない
事実4: 「もしもどうしても欲しいとしたら落選で加えてＹ財生産でない」ものはある

仮説: 「仮にどうしても欲しいとすれば「「落選だけれどＹ財生産でない」ということは事実である」ということは嘘な」物はある
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。