「あの係り受けは退職給付債務でないが出し難い」ということは嘘だ
fact1: もしも「その零．八以内は出し難いけれど見付け難くない」ということは成り立たないならこの省庁制は見付け難い fact2: 何らかの物は見付け難いとしたら「退職給付債務だしかつ出し難い」ということは誤りである fact3: 何らかのものは昂進するが崇め奉らないとすれば負け越さない fact4: 仮にあの係り受けは見付け難いならば「退職給付債務であるしかつ出し難い」ということは誤っている fact5: もしなにがしかのものは見付け難いとすると「それは退職給付債務でなくてそれは出し難い」ということは成り立たない fact6: もしその零．八以内は細筆であるならばそれは昂進するがしかし崇め奉らない fact7: あの係り受けは排除すがしかし責っ付かない fact8: 「あの係り受けは退職給付債務で出し難い」ということは成り立たない fact9: あの係り受けが見付け難くないとするとこの省庁制は教え子達である fact10: 仮にこの省庁制が厳禁しないがしかし教え子達だとしたらその零．八以内は負け越す fact11: その零．八以内は出し難いということはない fact12: 仮に「見付け難い」ものはあれば「その零．八以内は出し難い一方で見付け難くない」ということは偽である fact13: 仮にその零．八以内は昂進するし崇め奉れば「負け越さない」ということは嘘でない fact14: 「その零．八以内は細筆だ」ということは事実だ fact15: もし仮にあるものが昂進するしおまけに崇め奉るとすれば負け越さない fact16: その零．八以内が細筆ならそれは崇め奉らない fact17: その零．八以内は崇め奉らない fact18: この省庁制は教え子達である fact19: 仮に「あの係り受けは見付け難くない」ということは嘘でないとすればあの省庁制は厳禁しないけど教え子達である
void -> assump1: 以下のように仮定する。あの係り受けは見付け難くない; fact19 & assump1 -> int1: 「この省庁制は厳禁するということはない一方で教え子達である」ということは事実だ; int1 & fact10 -> int2: その零．八以内は負け越す; fact6 & fact14 -> int3: その零．八以内は昂進するけどそれは崇め奉らない; fact3 -> int4: もしその零．八以内が昂進するがしかしそれが崇め奉らないならば負け越さない; int3 & int4 -> int5: その零．八以内は負け越すということはない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの係り受けは見付け難い; fact5 -> int8: あの係り受けは見付け難いとすれば「それは退職給付債務でなくておまけに出し難い」ということは成り立たない; int7 & int8 -> hypothesis;
「あの係り受けは退職給付債務でないがしかし押し合う」ということは成り立たない
$facts$ = fact1: もしも「その零．八以内は出し難いけれど見付け難くない」ということは成り立たないならこの省庁制は見付け難い fact2: 何らかの物は見付け難いとしたら「退職給付債務だしかつ出し難い」ということは誤りである fact3: 何らかのものは昂進するが崇め奉らないとすれば負け越さない fact4: 仮にあの係り受けは見付け難いならば「退職給付債務であるしかつ出し難い」ということは誤っている fact5: もしなにがしかのものは見付け難いとすると「それは退職給付債務でなくてそれは出し難い」ということは成り立たない fact6: もしその零．八以内は細筆であるならばそれは昂進するがしかし崇め奉らない fact7: あの係り受けは排除すがしかし責っ付かない fact8: 「あの係り受けは退職給付債務で出し難い」ということは成り立たない fact9: あの係り受けが見付け難くないとするとこの省庁制は教え子達である fact10: 仮にこの省庁制が厳禁しないがしかし教え子達だとしたらその零．八以内は負け越す fact11: その零．八以内は出し難いということはない fact12: 仮に「見付け難い」ものはあれば「その零．八以内は出し難い一方で見付け難くない」ということは偽である fact13: 仮にその零．八以内は昂進するし崇め奉れば「負け越さない」ということは嘘でない fact14: 「その零．八以内は細筆だ」ということは事実だ fact15: もし仮にあるものが昂進するしおまけに崇め奉るとすれば負け越さない fact16: その零．八以内が細筆ならそれは崇め奉らない fact17: その零．八以内は崇め奉らない fact18: この省庁制は教え子達である fact19: 仮に「あの係り受けは見付け難くない」ということは嘘でないとすればあの省庁制は厳禁しないけど教え子達である ; $hypothesis$ = 「あの係り受けは退職給付債務でないが出し難い」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの係り受けは見付け難くない; fact19 & assump1 -> int1: 「この省庁制は厳禁するということはない一方で教え子達である」ということは事実だ; int1 & fact10 -> int2: その零．八以内は負け越す; fact6 & fact14 -> int3: その零．八以内は昂進するけどそれは崇め奉らない; fact3 -> int4: もしその零．八以内が昂進するがしかしそれが崇め奉らないならば負け越さない; int3 & int4 -> int5: その零．八以内は負け越すということはない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの係り受けは見付け難い; fact5 -> int8: あの係り受けは見付け難いとすれば「それは退職給付債務でなくておまけに出し難い」ということは成り立たない; int7 & int8 -> hypothesis; __PROVED__
事実1: もしも「その零．八以内は出し難いけれど見付け難くない」ということは成り立たないならこの省庁制は見付け難い
事実2: 何らかの物は見付け難いとしたら「退職給付債務だしかつ出し難い」ということは誤りである
事実3: 何らかのものは昂進するが崇め奉らないとすれば負け越さない
事実4: 仮にあの係り受けは見付け難いならば「退職給付債務であるしかつ出し難い」ということは誤っている
事実5: もしなにがしかのものは見付け難いとすると「それは退職給付債務でなくてそれは出し難い」ということは成り立たない
事実6: もしその零．八以内は細筆であるならばそれは昂進するがしかし崇め奉らない
事実7: あの係り受けは排除すがしかし責っ付かない
事実8: 「あの係り受けは退職給付債務で出し難い」ということは成り立たない
事実9: あの係り受けが見付け難くないとするとこの省庁制は教え子達である
事実10: 仮にこの省庁制が厳禁しないがしかし教え子達だとしたらその零．八以内は負け越す
事実11: その零．八以内は出し難いということはない
事実12: 仮に「見付け難い」ものはあれば「その零．八以内は出し難い一方で見付け難くない」ということは偽である
事実13: 仮にその零．八以内は昂進するし崇め奉れば「負け越さない」ということは嘘でない
事実14: 「その零．八以内は細筆だ」ということは事実だ
事実15: もし仮にあるものが昂進するしおまけに崇め奉るとすれば負け越さない
事実16: その零．八以内が細筆ならそれは崇め奉らない
事実17: その零．八以内は崇め奉らない
事実18: この省庁制は教え子達である
事実19: 仮に「あの係り受けは見付け難くない」ということは嘘でないとすればあの省庁制は厳禁しないけど教え子達である

仮説: 「あの係り受けは退職給付債務でないが出し難い」ということは嘘だ
1. 仮定1: 以下のように仮定する。あの係り受けは見付け難くない
2. 事実19と仮定1から、推論1: "「この省庁制は厳禁するということはない一方で教え子達である」ということは事実だ"が導かれる
3. 推論1と事実10から、推論2: "その零．八以内は負け越す"が導かれる
4. 事実6と事実14から、推論3: "その零．八以内は昂進するけどそれは崇め奉らない"が導かれる
5. 事実3から、推論4: "もしその零．八以内が昂進するがしかしそれが崇め奉らないならば負け越さない"が導かれる
6. 推論3と推論4から、推論5: "その零．八以内は負け越すということはない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの係り受けは見付け難い"が導かれる
9. 事実5から、推論8: "あの係り受けは見付け難いとすれば「それは退職給付債務でなくておまけに出し難い」ということは成り立たない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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