その府県知事は仕事らしい
fact1: その否定・肯定両方は分解され難いかまたは転がり出ないかあるいは両方である fact2: あの当方は両足であるかあるいはそれは転がり出ないかもしくはどちらもだ fact3: 仮にあの歩行器が転がり出るということはないとするとそれは各ノードでないがしかしくどい fact4: 仮に「その否定・肯定両方は安堵し難くないが賛同である」ということは確かでないならあの経営トップ・経営層は両足でない fact5: あの経営トップ・経営層は分解され難い fact6: もしなにがしかの物は小煩くないなら「安堵し難くない一方で賛同である」ということは成り立たない fact7: もし仮にあの当方が貢がないならその府県知事は仕事らしい fact8: もしも「その府県知事は小煩くないがそれは貢ぐ」ということは嘘だとしたらあの当方は仕事らしくない fact9: あの経営トップ・経営層は小煩くない fact10: あの当方は溜め込み易い fact11: もしもあの歩行器が上昇し易いとするとあの経営トップ・経営層は両足である fact12: あの当方は賛同だということはない fact13: あの歩行器は御姿であるが香しいということはない fact14: もしもあの歩行器が転がり出るならあの当方は転がり出るかもしくはそれは貢がないかまたは両方ともだ fact15: 仮になんらかのものは上昇し易いがしかし転がり出ないとしたら仕事らしいということはない fact16: もしあの歩行器が各ノードでないがしかしそれはくどいなら「上昇し易い」ということは事実だ fact17: その否定・肯定両方は溜め込み易い一方で分解され難くない fact18: その否定・肯定両方はくどい fact19: その否定・肯定両方は溜め込み易いがしかし分解され難くないなら小煩いということはない fact20: もし仮にあの当方が転がり出るとしたらその府県知事は仕事らしい fact21: 「あの歩行器は分解され難くないが上昇し易い」ということは間違いである fact22: 仮に「あの歩行器は上昇し易くない一方でそれは安堵し難い」ということは嘘であるとすればあの当方は転がり出ない fact23: もし仮にその府県知事が賛同でないとすれば両足でその上それは上昇し易い fact24: その府県知事は賛同でない
void -> assump1: 以下のように仮定する。「あの歩行器は転がり出る」ということは成り立つということはない; fact3 & assump1 -> int1: 「あの歩行器は各ノードでないけれどそれはくどい」ということは本当だ; int1 & fact16 -> int2: あの歩行器は上昇し易い; int2 & fact11 -> int3: あの経営トップ・経営層は両足だ; fact17 & fact19 -> int4: その否定・肯定両方は小煩くない; fact6 -> int5: 仮にその否定・肯定両方は小煩いということはないならば「安堵し難いということはないし加えて賛同だ」ということは成り立たない; int4 & int5 -> int6: 「その否定・肯定両方は安堵し難くないがしかし賛同だ」ということは成り立たない; int6 & fact4 -> int7: あの経営トップ・経営層は両足であるということはない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの歩行器は転がり出る; int9 & fact14 -> int10: あの当方は転がり出るか貢がないかもしくは両方ともだ; int10 & fact20 & fact7 -> hypothesis;
その府県知事は仕事らしくない
fact26 -> int11: 仮にその府県知事が上昇し易いが転がり出ないとすると仕事らしいということはない; fact25 & fact27 -> int12: その府県知事は両足でそれに上昇し易い; int12 -> int13: 「その府県知事は上昇し易い」ということは嘘でない;
$facts$ = fact1: その否定・肯定両方は分解され難いかまたは転がり出ないかあるいは両方である fact2: あの当方は両足であるかあるいはそれは転がり出ないかもしくはどちらもだ fact3: 仮にあの歩行器が転がり出るということはないとするとそれは各ノードでないがしかしくどい fact4: 仮に「その否定・肯定両方は安堵し難くないが賛同である」ということは確かでないならあの経営トップ・経営層は両足でない fact5: あの経営トップ・経営層は分解され難い fact6: もしなにがしかの物は小煩くないなら「安堵し難くない一方で賛同である」ということは成り立たない fact7: もし仮にあの当方が貢がないならその府県知事は仕事らしい fact8: もしも「その府県知事は小煩くないがそれは貢ぐ」ということは嘘だとしたらあの当方は仕事らしくない fact9: あの経営トップ・経営層は小煩くない fact10: あの当方は溜め込み易い fact11: もしもあの歩行器が上昇し易いとするとあの経営トップ・経営層は両足である fact12: あの当方は賛同だということはない fact13: あの歩行器は御姿であるが香しいということはない fact14: もしもあの歩行器が転がり出るならあの当方は転がり出るかもしくはそれは貢がないかまたは両方ともだ fact15: 仮になんらかのものは上昇し易いがしかし転がり出ないとしたら仕事らしいということはない fact16: もしあの歩行器が各ノードでないがしかしそれはくどいなら「上昇し易い」ということは事実だ fact17: その否定・肯定両方は溜め込み易い一方で分解され難くない fact18: その否定・肯定両方はくどい fact19: その否定・肯定両方は溜め込み易いがしかし分解され難くないなら小煩いということはない fact20: もし仮にあの当方が転がり出るとしたらその府県知事は仕事らしい fact21: 「あの歩行器は分解され難くないが上昇し易い」ということは間違いである fact22: 仮に「あの歩行器は上昇し易くない一方でそれは安堵し難い」ということは嘘であるとすればあの当方は転がり出ない fact23: もし仮にその府県知事が賛同でないとすれば両足でその上それは上昇し易い fact24: その府県知事は賛同でない ; $hypothesis$ = その府県知事は仕事らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの歩行器は転がり出る」ということは成り立つということはない; fact3 & assump1 -> int1: 「あの歩行器は各ノードでないけれどそれはくどい」ということは本当だ; int1 & fact16 -> int2: あの歩行器は上昇し易い; int2 & fact11 -> int3: あの経営トップ・経営層は両足だ; fact17 & fact19 -> int4: その否定・肯定両方は小煩くない; fact6 -> int5: 仮にその否定・肯定両方は小煩いということはないならば「安堵し難いということはないし加えて賛同だ」ということは成り立たない; int4 & int5 -> int6: 「その否定・肯定両方は安堵し難くないがしかし賛同だ」ということは成り立たない; int6 & fact4 -> int7: あの経営トップ・経営層は両足であるということはない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの歩行器は転がり出る; int9 & fact14 -> int10: あの当方は転がり出るか貢がないかもしくは両方ともだ; int10 & fact20 & fact7 -> hypothesis; __PROVED__
事実1: その否定・肯定両方は分解され難いかまたは転がり出ないかあるいは両方である
事実2: あの当方は両足であるかあるいはそれは転がり出ないかもしくはどちらもだ
事実3: 仮にあの歩行器が転がり出るということはないとするとそれは各ノードでないがしかしくどい
事実4: 仮に「その否定・肯定両方は安堵し難くないが賛同である」ということは確かでないならあの経営トップ・経営層は両足でない
事実5: あの経営トップ・経営層は分解され難い
事実6: もしなにがしかの物は小煩くないなら「安堵し難くない一方で賛同である」ということは成り立たない
事実7: もし仮にあの当方が貢がないならその府県知事は仕事らしい
事実8: もしも「その府県知事は小煩くないがそれは貢ぐ」ということは嘘だとしたらあの当方は仕事らしくない
事実9: あの経営トップ・経営層は小煩くない
事実10: あの当方は溜め込み易い
事実11: もしもあの歩行器が上昇し易いとするとあの経営トップ・経営層は両足である
事実12: あの当方は賛同だということはない
事実13: あの歩行器は御姿であるが香しいということはない
事実14: もしもあの歩行器が転がり出るならあの当方は転がり出るかもしくはそれは貢がないかまたは両方ともだ
事実15: 仮になんらかのものは上昇し易いがしかし転がり出ないとしたら仕事らしいということはない
事実16: もしあの歩行器が各ノードでないがしかしそれはくどいなら「上昇し易い」ということは事実だ
事実17: その否定・肯定両方は溜め込み易い一方で分解され難くない
事実18: その否定・肯定両方はくどい
事実19: その否定・肯定両方は溜め込み易いがしかし分解され難くないなら小煩いということはない
事実20: もし仮にあの当方が転がり出るとしたらその府県知事は仕事らしい
事実21: 「あの歩行器は分解され難くないが上昇し易い」ということは間違いである
事実22: 仮に「あの歩行器は上昇し易くない一方でそれは安堵し難い」ということは嘘であるとすればあの当方は転がり出ない
事実23: もし仮にその府県知事が賛同でないとすれば両足でその上それは上昇し易い
事実24: その府県知事は賛同でない

仮説: その府県知事は仕事らしい
1. 仮定1: 以下のように仮定する。「あの歩行器は転がり出る」ということは成り立つということはない
2. 事実3と仮定1から、推論1: "「あの歩行器は各ノードでないけれどそれはくどい」ということは本当だ"が導かれる
3. 推論1と事実16から、推論2: "あの歩行器は上昇し易い"が導かれる
4. 推論2と事実11から、推論3: "あの経営トップ・経営層は両足だ"が導かれる
5. 事実17と事実19から、推論4: "その否定・肯定両方は小煩くない"が導かれる
6. 事実6から、推論5: "仮にその否定・肯定両方は小煩いということはないならば「安堵し難いということはないし加えて賛同だ」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "「その否定・肯定両方は安堵し難くないがしかし賛同だ」ということは成り立たない"が導かれる
8. 推論6と事実4から、推論7: "あの経営トップ・経営層は両足であるということはない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの歩行器は転がり出る"が導かれる
11. 推論9と事実14から、推論10: "あの当方は転がり出るか貢がないかもしくは両方ともだ"が導かれる
12. 推論10と事実20と事実7から、仮説が導かれる

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