「あの総務事務は推進すらないけど駄目出しである」ということは事実である
fact1: そのスタイル参照が推進すならあの総務事務は推進すらない fact2: 本郷計画は駄目出しだ fact3: 展開読みは冷め易くないししかも砕け易くない fact4: 「その霊廟はちぎれ易くないし展開読みでない」ということは間違っている fact5: 低い物は本郷計画である fact6: 仮に「冷め易くない」物はあるとしたら「そのスタイル参照は本郷計画であるかそれは御座るか両方ともだ」ということは誤っている fact7: もし仮に「「その霊廟はちぎれ易くないし展開読みでない」ということは成り立たない」ということは事実だとしたらそれは展開読みだ fact8: 「そのスタイル参照は推進す」ということは正しい fact9: その霊廟は低くないか御座るか両方だ fact10: もしもその霊廟が低くないかまたはそれが御座るとすればあの総務事務は低い fact11: もしなにかは低くないとすると「推進すらないしかつ駄目出しである」ということは嘘である
fact5 -> int1: もし「あの総務事務は低い」ということは偽であるということはないとするとそれは本郷計画だ; fact9 & fact10 -> int2: あの総務事務は低い; int1 & int2 -> int3: あの総務事務は本郷計画だ; fact2 -> int4: 仮にあの総務事務は本郷計画であるとすればそれは駄目出しである; int3 & int4 -> int5: あの総務事務は駄目出しだ; fact1 & fact8 -> int6: あの総務事務は推進すらない; int5 & int6 -> hypothesis;
「あの総務事務は推進すということはない一方で駄目出しである」ということは本当であるということはない
fact13 -> int7: もし仮に「あの総務事務は低いということはない」ということは真実だとすると「推進すらないがしかし駄目出しである」ということは成り立たない; fact12 -> int8: もし仮に「その霊廟は展開読みである」ということは間違っているということはないとしたらそれは冷め易いということはなくて砕け易くない; fact14 & fact16 -> int9: その霊廟は展開読みである; int8 & int9 -> int10: その霊廟は冷め易くないしそれは砕け易くない; int10 -> int11: その霊廟は冷め易くない; int11 -> int12: 「冷め易くない」ものはある; int12 & fact15 -> int13: 「そのスタイル参照は本郷計画であるかまたは御座るかもしくはどちらもだ」ということは間違いである; int13 -> int14: 「「本郷計画であるかもしくは御座る」ということは成り立たない」物はある;
$facts$ = fact1: そのスタイル参照が推進すならあの総務事務は推進すらない fact2: 本郷計画は駄目出しだ fact3: 展開読みは冷め易くないししかも砕け易くない fact4: 「その霊廟はちぎれ易くないし展開読みでない」ということは間違っている fact5: 低い物は本郷計画である fact6: 仮に「冷め易くない」物はあるとしたら「そのスタイル参照は本郷計画であるかそれは御座るか両方ともだ」ということは誤っている fact7: もし仮に「「その霊廟はちぎれ易くないし展開読みでない」ということは成り立たない」ということは事実だとしたらそれは展開読みだ fact8: 「そのスタイル参照は推進す」ということは正しい fact9: その霊廟は低くないか御座るか両方だ fact10: もしもその霊廟が低くないかまたはそれが御座るとすればあの総務事務は低い fact11: もしなにかは低くないとすると「推進すらないしかつ駄目出しである」ということは嘘である ; $hypothesis$ = 「あの総務事務は推進すらないけど駄目出しである」ということは事実である ; $proof$ = 
fact5 -> int1: もし「あの総務事務は低い」ということは偽であるということはないとするとそれは本郷計画だ; fact9 & fact10 -> int2: あの総務事務は低い; int1 & int2 -> int3: あの総務事務は本郷計画だ; fact2 -> int4: 仮にあの総務事務は本郷計画であるとすればそれは駄目出しである; int3 & int4 -> int5: あの総務事務は駄目出しだ; fact1 & fact8 -> int6: あの総務事務は推進すらない; int5 & int6 -> hypothesis; __PROVED__
事実1: そのスタイル参照が推進すならあの総務事務は推進すらない
事実2: 本郷計画は駄目出しだ
事実3: 展開読みは冷め易くないししかも砕け易くない
事実4: 「その霊廟はちぎれ易くないし展開読みでない」ということは間違っている
事実5: 低い物は本郷計画である
事実6: 仮に「冷め易くない」物はあるとしたら「そのスタイル参照は本郷計画であるかそれは御座るか両方ともだ」ということは誤っている
事実7: もし仮に「「その霊廟はちぎれ易くないし展開読みでない」ということは成り立たない」ということは事実だとしたらそれは展開読みだ
事実8: 「そのスタイル参照は推進す」ということは正しい
事実9: その霊廟は低くないか御座るか両方だ
事実10: もしもその霊廟が低くないかまたはそれが御座るとすればあの総務事務は低い
事実11: もしなにかは低くないとすると「推進すらないしかつ駄目出しである」ということは嘘である

仮説: 「あの総務事務は推進すらないけど駄目出しである」ということは事実である
1. 事実5から、推論1: "もし「あの総務事務は低い」ということは偽であるということはないとするとそれは本郷計画だ"が導かれる
2. 事実9と事実10から、推論2: "あの総務事務は低い"が導かれる
3. 推論1と推論2から、推論3: "あの総務事務は本郷計画だ"が導かれる
4. 事実2から、推論4: "仮にあの総務事務は本郷計画であるとすればそれは駄目出しである"が導かれる
5. 推論3と推論4から、推論5: "あの総務事務は駄目出しだ"が導かれる
6. 事実1と事実8から、推論6: "あの総務事務は推進すらない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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