「この皿駕籠は易し」ということは成り立つ
fact1: もし仮に「ある物は易しないか消化吸収され易いかまたは両方ともである」ということは成り立たないとしたら与信管理でない fact2: もし「「何かは消化吸収され易くないか御返り下さるか両方ともだ」ということは確かである」ということは嘘だとすれば種苗会社でない fact3: もしもこの指定事業者等は消化吸収され易くないとすると「あの土日は真っ黒いけれど御返り下さらない」ということは誤っている fact4: なんらかのものは偽証である fact5: もし与信管理はあるとしたら「この指定事業者等は消化吸収され易くないかあるいはそれは御返り下さるか両方である」ということは嘘だ fact6: 「その比丘達は種苗会社でないがクロノグラフである」ということは嘘であるならあの国防費は本社スタッフ部門である fact7: もし「種苗会社な」ものがあるとすればあの指定事業者等は真っ黒いということはない fact8: もしも「あの土日は真っ黒い一方で御返り下さらない」ということは確かでないならばあの多方面は与信管理でない fact9: あの土日が真っ黒いしその上与信管理だ fact10: もしもあの国防費は本社スタッフ部門ならば「この皿駕籠は易し」ということは本当である fact11: もし仮にその比丘達が易しならばこの皿駕籠は種苗会社だ fact12: もし仮に「消化吸収され易い」ものはあるとしたら「その比丘達は本社スタッフ部門であるということはないかもしくは種苗会社であるかもしくは両方ともだ」ということは成り立たない fact13: もし仮にこの指定事業者等は種苗会社でないとしたら「その比丘達は種苗会社でないがしかしクロノグラフである」ということは偽だ fact14: クロノグラフは種苗会社であるか消化吸収され易くない fact15: もしも与信管理は真っ黒くないとすると「易しない」ということは本当だ
fact9 -> int1: あの土日は与信管理である; int1 -> int2: 「「与信管理であるということはない」ということは成り立たない」物はある; int2 & fact5 -> int3: 「この指定事業者等は消化吸収され易くないか御返り下さるかもしくは両方である」ということは本当だということはない; fact2 -> int4: 「この指定事業者等は消化吸収され易くないかもしくは御返り下さるかもしくはどちらもである」ということは嘘であるなら種苗会社でない; int3 & int4 -> int5: この指定事業者等は種苗会社でない; int5 & fact13 -> int6: 「その比丘達は種苗会社でないがしかしクロノグラフだ」ということは成り立つということはない; int6 & fact6 -> int7: あの国防費は本社スタッフ部門である; int7 & fact10 -> hypothesis;
その多方面は与信管理でない
fact17 -> int8: もしこの指定事業者等はクロノグラフであるならそれは種苗会社であるかあるいは消化吸収され易くない;
$facts$ = fact1: もし仮に「ある物は易しないか消化吸収され易いかまたは両方ともである」ということは成り立たないとしたら与信管理でない fact2: もし「「何かは消化吸収され易くないか御返り下さるか両方ともだ」ということは確かである」ということは嘘だとすれば種苗会社でない fact3: もしもこの指定事業者等は消化吸収され易くないとすると「あの土日は真っ黒いけれど御返り下さらない」ということは誤っている fact4: なんらかのものは偽証である fact5: もし与信管理はあるとしたら「この指定事業者等は消化吸収され易くないかあるいはそれは御返り下さるか両方である」ということは嘘だ fact6: 「その比丘達は種苗会社でないがクロノグラフである」ということは嘘であるならあの国防費は本社スタッフ部門である fact7: もし「種苗会社な」ものがあるとすればあの指定事業者等は真っ黒いということはない fact8: もしも「あの土日は真っ黒い一方で御返り下さらない」ということは確かでないならばあの多方面は与信管理でない fact9: あの土日が真っ黒いしその上与信管理だ fact10: もしもあの国防費は本社スタッフ部門ならば「この皿駕籠は易し」ということは本当である fact11: もし仮にその比丘達が易しならばこの皿駕籠は種苗会社だ fact12: もし仮に「消化吸収され易い」ものはあるとしたら「その比丘達は本社スタッフ部門であるということはないかもしくは種苗会社であるかもしくは両方ともだ」ということは成り立たない fact13: もし仮にこの指定事業者等は種苗会社でないとしたら「その比丘達は種苗会社でないがしかしクロノグラフである」ということは偽だ fact14: クロノグラフは種苗会社であるか消化吸収され易くない fact15: もしも与信管理は真っ黒くないとすると「易しない」ということは本当だ ; $hypothesis$ = 「この皿駕籠は易し」ということは成り立つ ; $proof$ = 
fact9 -> int1: あの土日は与信管理である; int1 -> int2: 「「与信管理であるということはない」ということは成り立たない」物はある; int2 & fact5 -> int3: 「この指定事業者等は消化吸収され易くないか御返り下さるかもしくは両方である」ということは本当だということはない; fact2 -> int4: 「この指定事業者等は消化吸収され易くないかもしくは御返り下さるかもしくはどちらもである」ということは嘘であるなら種苗会社でない; int3 & int4 -> int5: この指定事業者等は種苗会社でない; int5 & fact13 -> int6: 「その比丘達は種苗会社でないがしかしクロノグラフだ」ということは成り立つということはない; int6 & fact6 -> int7: あの国防費は本社スタッフ部門である; int7 & fact10 -> hypothesis; __PROVED__
事実1: もし仮に「ある物は易しないか消化吸収され易いかまたは両方ともである」ということは成り立たないとしたら与信管理でない
事実2: もし「「何かは消化吸収され易くないか御返り下さるか両方ともだ」ということは確かである」ということは嘘だとすれば種苗会社でない
事実3: もしもこの指定事業者等は消化吸収され易くないとすると「あの土日は真っ黒いけれど御返り下さらない」ということは誤っている
事実4: なんらかのものは偽証である
事実5: もし与信管理はあるとしたら「この指定事業者等は消化吸収され易くないかあるいはそれは御返り下さるか両方である」ということは嘘だ
事実6: 「その比丘達は種苗会社でないがクロノグラフである」ということは嘘であるならあの国防費は本社スタッフ部門である
事実7: もし「種苗会社な」ものがあるとすればあの指定事業者等は真っ黒いということはない
事実8: もしも「あの土日は真っ黒い一方で御返り下さらない」ということは確かでないならばあの多方面は与信管理でない
事実9: あの土日が真っ黒いしその上与信管理だ
事実10: もしもあの国防費は本社スタッフ部門ならば「この皿駕籠は易し」ということは本当である
事実11: もし仮にその比丘達が易しならばこの皿駕籠は種苗会社だ
事実12: もし仮に「消化吸収され易い」ものはあるとしたら「その比丘達は本社スタッフ部門であるということはないかもしくは種苗会社であるかもしくは両方ともだ」ということは成り立たない
事実13: もし仮にこの指定事業者等は種苗会社でないとしたら「その比丘達は種苗会社でないがしかしクロノグラフである」ということは偽だ
事実14: クロノグラフは種苗会社であるか消化吸収され易くない
事実15: もしも与信管理は真っ黒くないとすると「易しない」ということは本当だ

仮説: 「この皿駕籠は易し」ということは成り立つ
1. 事実9から、推論1: "あの土日は与信管理である"が導かれる
2. 推論1から、推論2: "「「与信管理であるということはない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実5から、推論3: "「この指定事業者等は消化吸収され易くないか御返り下さるかもしくは両方である」ということは本当だということはない"が導かれる
4. 事実2から、推論4: "「この指定事業者等は消化吸収され易くないかもしくは御返り下さるかもしくはどちらもである」ということは嘘であるなら種苗会社でない"が導かれる
5. 推論3と推論4から、推論5: "この指定事業者等は種苗会社でない"が導かれる
6. 推論5と事実13から、推論6: "「その比丘達は種苗会社でないがしかしクロノグラフだ」ということは成り立つということはない"が導かれる
7. 推論6と事実6から、推論7: "あの国防費は本社スタッフ部門である"が導かれる
8. 推論7と事実10から、仮説が導かれる

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