この俗世は素焼きする
fact1: 「「コーポレート・ガバナンス論でないし洋上迷彩である」ということは誤りな」ものはある fact2: もしあの事務主事は住宅ブームであるなら「二転三転しないけど使用開始である」ということは成り立つということはない fact3: もしもなにがしかの物が洋上迷彩でないならあの事務主事は調達する fact4: もしこの俗世は悔しいなら「常連らしくないしおまけにそれは病像である」ということは偽である fact5: 「なにかは読み辛くないがそれは開き掛ける」ということは本当でないならそれは素焼きする fact6: この俗世が常連らしいなら素焼きする fact7: もし仮に「なんらかの物は悔しくないけど常連らしい」ということは間違いならそれは調達する fact8: 「あるものは常連らしくない一方でそれは病像だ」ということは誤りであるならそれは素焼きする fact9: 常連らしいものは素焼きする fact10: 「「コーポレート・ガバナンス論でないけど洋上迷彩だ」ということは成り立たない」ものはあるとしたら「あの事務主事は調達する」ということは確かである fact11: あの事務主事が調達するとしたらこの俗世は悔しい
fact1 & fact10 -> int1: あの事務主事は調達する; int1 & fact11 -> int2: この俗世は悔しい; int2 & fact4 -> int3: 「この俗世は常連らしくない一方で病像である」ということは確かでない; fact8 -> int4: もし「この俗世は常連らしいということはない病像だ」ということは偽ならば素焼きする; int3 & int4 -> hypothesis;
「この俗世は読み辛くないけれどそれは開き掛ける」ということは偽だとすれば「それは素焼きする」ということは誤りでない
fact12 -> hypothesis;
$facts$ = fact1: 「「コーポレート・ガバナンス論でないし洋上迷彩である」ということは誤りな」ものはある fact2: もしあの事務主事は住宅ブームであるなら「二転三転しないけど使用開始である」ということは成り立つということはない fact3: もしもなにがしかの物が洋上迷彩でないならあの事務主事は調達する fact4: もしこの俗世は悔しいなら「常連らしくないしおまけにそれは病像である」ということは偽である fact5: 「なにかは読み辛くないがそれは開き掛ける」ということは本当でないならそれは素焼きする fact6: この俗世が常連らしいなら素焼きする fact7: もし仮に「なんらかの物は悔しくないけど常連らしい」ということは間違いならそれは調達する fact8: 「あるものは常連らしくない一方でそれは病像だ」ということは誤りであるならそれは素焼きする fact9: 常連らしいものは素焼きする fact10: 「「コーポレート・ガバナンス論でないけど洋上迷彩だ」ということは成り立たない」ものはあるとしたら「あの事務主事は調達する」ということは確かである fact11: あの事務主事が調達するとしたらこの俗世は悔しい ; $hypothesis$ = この俗世は素焼きする ; $proof$ = 
fact1 & fact10 -> int1: あの事務主事は調達する; int1 & fact11 -> int2: この俗世は悔しい; int2 & fact4 -> int3: 「この俗世は常連らしくない一方で病像である」ということは確かでない; fact8 -> int4: もし「この俗世は常連らしいということはない病像だ」ということは偽ならば素焼きする; int3 & int4 -> hypothesis; __PROVED__
事実1: 「「コーポレート・ガバナンス論でないし洋上迷彩である」ということは誤りな」ものはある
事実2: もしあの事務主事は住宅ブームであるなら「二転三転しないけど使用開始である」ということは成り立つということはない
事実3: もしもなにがしかの物が洋上迷彩でないならあの事務主事は調達する
事実4: もしこの俗世は悔しいなら「常連らしくないしおまけにそれは病像である」ということは偽である
事実5: 「なにかは読み辛くないがそれは開き掛ける」ということは本当でないならそれは素焼きする
事実6: この俗世が常連らしいなら素焼きする
事実7: もし仮に「なんらかの物は悔しくないけど常連らしい」ということは間違いならそれは調達する
事実8: 「あるものは常連らしくない一方でそれは病像だ」ということは誤りであるならそれは素焼きする
事実9: 常連らしいものは素焼きする
事実10: 「「コーポレート・ガバナンス論でないけど洋上迷彩だ」ということは成り立たない」ものはあるとしたら「あの事務主事は調達する」ということは確かである
事実11: あの事務主事が調達するとしたらこの俗世は悔しい

仮説: この俗世は素焼きする
1. 事実1と事実10から、推論1: "あの事務主事は調達する"が導かれる
2. 推論1と事実11から、推論2: "この俗世は悔しい"が導かれる
3. 推論2と事実4から、推論3: "「この俗世は常連らしくない一方で病像である」ということは確かでない"が導かれる
4. 事実8から、推論4: "もし「この俗世は常連らしいということはない病像だ」ということは偽ならば素焼きする"が導かれる
5. 推論3と推論4から、仮説が導かれる

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