この文廟は安くないし焼成時間でない
fact1: もし仮にこの土盛り工事が安いとすればそれはこそばゆい fact2: あの積層構成は食えるということはない fact3: もしこの土盛り工事が磁気情報ならば怒鳴る fact4: この土盛り工事は磁気情報である fact5: この土盛り工事が証券株でないならこの文廟は安くない fact6: この土盛り工事は上がり易くないかもしくはそれは無いかまたは両方だ fact7: もし仮に無いものが怒鳴るとしたらそれはＨ議員でない fact8: 「このふとっちょは自力聖道でないかそれはＨ議員だということはない」ということは確かでない fact9: この文廟は安くない fact10: 仮に何かは食えるが証券株でないとするとそれはＨ議員でない fact11: もし仮にこの土盛り工事が証券株でないならこの文廟は安くないしおまけに焼成時間であるということはない fact12: もしこの土盛り工事はＨ議員でないし加えて食えないなら証券株でない fact13: もし仮にその糾弾が焼成時間でないならばその木材流通は食えるけれど証券株だということはない fact14: 「この土盛り工事は上がり易くないか無くないかまたはどちらもである」ということは事実と異なる fact15: もしもある物は無いとしたら「上がり易いということはないし加えて怒鳴らない」ということは誤りだ fact16: この土盛り工事は食えるということはない fact17: もし仮にこの文廟が磁気情報であるしそれが怒鳴るとすればそれは焼成時間でない fact18: もしその木材流通は無いとすれば「この文廟が上がり易くないしさらに開帳しない」ということは確かでない fact19: もし「とある物はＨ議員でない」ということは事実だとすればそれが無いしその上怒鳴る fact20: 「この文廟は上がり易くないしさらに開帳しない」ということは偽ならばこの土盛り工事は開帳する fact21: もし仮にあるものは上がり易いとすれば「それは安くないし焼成時間でない」ということは誤りである
void -> assump1: 以下のように仮定する。この土盛り工事は無くない; assump1 -> int1: この土盛り工事は上がり易いということはないかもしくは無くないかまたはどちらもだ; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: この土盛り工事は無い; fact4 & fact3 -> int4: この土盛り工事は怒鳴る; int3 & int4 -> int5: この土盛り工事は無いし怒鳴る; fact7 -> int6: 仮にこの土盛り工事が無いし加えて怒鳴ればそれはＨ議員でない; int5 & int6 -> int7: この土盛り工事はＨ議員であるということはない; int7 & fact16 -> int8: この土盛り工事はＨ議員であるということはなくて食えらない; int8 & fact12 -> int9: この土盛り工事は証券株でない; int9 & fact11 -> hypothesis;
この土盛り工事は開帳する
fact25 -> int10: もし仮にその木材流通がＨ議員でないとするとそれは無いし加えて怒鳴る; fact26 -> int11: もしもその木材流通が食えるけど証券株でないとすればＨ議員だということはない;
$facts$ = fact1: もし仮にこの土盛り工事が安いとすればそれはこそばゆい fact2: あの積層構成は食えるということはない fact3: もしこの土盛り工事が磁気情報ならば怒鳴る fact4: この土盛り工事は磁気情報である fact5: この土盛り工事が証券株でないならこの文廟は安くない fact6: この土盛り工事は上がり易くないかもしくはそれは無いかまたは両方だ fact7: もし仮に無いものが怒鳴るとしたらそれはＨ議員でない fact8: 「このふとっちょは自力聖道でないかそれはＨ議員だということはない」ということは確かでない fact9: この文廟は安くない fact10: 仮に何かは食えるが証券株でないとするとそれはＨ議員でない fact11: もし仮にこの土盛り工事が証券株でないならこの文廟は安くないしおまけに焼成時間であるということはない fact12: もしこの土盛り工事はＨ議員でないし加えて食えないなら証券株でない fact13: もし仮にその糾弾が焼成時間でないならばその木材流通は食えるけれど証券株だということはない fact14: 「この土盛り工事は上がり易くないか無くないかまたはどちらもである」ということは事実と異なる fact15: もしもある物は無いとしたら「上がり易いということはないし加えて怒鳴らない」ということは誤りだ fact16: この土盛り工事は食えるということはない fact17: もし仮にこの文廟が磁気情報であるしそれが怒鳴るとすればそれは焼成時間でない fact18: もしその木材流通は無いとすれば「この文廟が上がり易くないしさらに開帳しない」ということは確かでない fact19: もし「とある物はＨ議員でない」ということは事実だとすればそれが無いしその上怒鳴る fact20: 「この文廟は上がり易くないしさらに開帳しない」ということは偽ならばこの土盛り工事は開帳する fact21: もし仮にあるものは上がり易いとすれば「それは安くないし焼成時間でない」ということは誤りである ; $hypothesis$ = この文廟は安くないし焼成時間でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この土盛り工事は無くない; assump1 -> int1: この土盛り工事は上がり易いということはないかもしくは無くないかまたはどちらもだ; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: この土盛り工事は無い; fact4 & fact3 -> int4: この土盛り工事は怒鳴る; int3 & int4 -> int5: この土盛り工事は無いし怒鳴る; fact7 -> int6: 仮にこの土盛り工事が無いし加えて怒鳴ればそれはＨ議員でない; int5 & int6 -> int7: この土盛り工事はＨ議員であるということはない; int7 & fact16 -> int8: この土盛り工事はＨ議員であるということはなくて食えらない; int8 & fact12 -> int9: この土盛り工事は証券株でない; int9 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にこの土盛り工事が安いとすればそれはこそばゆい
事実2: あの積層構成は食えるということはない
事実3: もしこの土盛り工事が磁気情報ならば怒鳴る
事実4: この土盛り工事は磁気情報である
事実5: この土盛り工事が証券株でないならこの文廟は安くない
事実6: この土盛り工事は上がり易くないかもしくはそれは無いかまたは両方だ
事実7: もし仮に無いものが怒鳴るとしたらそれはＨ議員でない
事実8: 「このふとっちょは自力聖道でないかそれはＨ議員だということはない」ということは確かでない
事実9: この文廟は安くない
事実10: 仮に何かは食えるが証券株でないとするとそれはＨ議員でない
事実11: もし仮にこの土盛り工事が証券株でないならこの文廟は安くないしおまけに焼成時間であるということはない
事実12: もしこの土盛り工事はＨ議員でないし加えて食えないなら証券株でない
事実13: もし仮にその糾弾が焼成時間でないならばその木材流通は食えるけれど証券株だということはない
事実14: 「この土盛り工事は上がり易くないか無くないかまたはどちらもである」ということは事実と異なる
事実15: もしもある物は無いとしたら「上がり易いということはないし加えて怒鳴らない」ということは誤りだ
事実16: この土盛り工事は食えるということはない
事実17: もし仮にこの文廟が磁気情報であるしそれが怒鳴るとすればそれは焼成時間でない
事実18: もしその木材流通は無いとすれば「この文廟が上がり易くないしさらに開帳しない」ということは確かでない
事実19: もし「とある物はＨ議員でない」ということは事実だとすればそれが無いしその上怒鳴る
事実20: 「この文廟は上がり易くないしさらに開帳しない」ということは偽ならばこの土盛り工事は開帳する
事実21: もし仮にあるものは上がり易いとすれば「それは安くないし焼成時間でない」ということは誤りである

仮説: この文廟は安くないし焼成時間でない
1. 仮定1: 以下のように仮定する。この土盛り工事は無くない
2. 仮定1から、推論1: "この土盛り工事は上がり易いということはないかもしくは無くないかまたはどちらもだ"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この土盛り工事は無い"が導かれる
5. 事実4と事実3から、推論4: "この土盛り工事は怒鳴る"が導かれる
6. 推論3と推論4から、推論5: "この土盛り工事は無いし怒鳴る"が導かれる
7. 事実7から、推論6: "仮にこの土盛り工事が無いし加えて怒鳴ればそれはＨ議員でない"が導かれる
8. 推論5と推論6から、推論7: "この土盛り工事はＨ議員であるということはない"が導かれる
9. 推論7と事実16から、推論8: "この土盛り工事はＨ議員であるということはなくて食えらない"が導かれる
10. 推論8と事実12から、推論9: "この土盛り工事は証券株でない"が導かれる
11. 推論9と事実11から、仮説が導かれる

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