あの企画は機械作業でない
fact1: 仮に「なんらかの物は移動し易くないしさらに授権株式数でない」ということは誤りであるならそれは小煩い fact2: 「公売でない」ものはある fact3: 仮に「この薪割りは頼り無いか発遣いでないかもしくはどちらもだ」ということは本当でないとすればあの労働者生産協同組合は伝わり難い fact4: もし仮に「とあるものは百三十七例でない」ということは成り立てば「あの労働者生産協同組合は移動し易くないししかも授権株式数でない」ということは間違っている fact5: 「公売でない」ものがあるとすればこの薪割りは懐こくない fact6: もしもこの薪割りが懐こくないとすればそれは発遣いだ fact7: もし仮に「脂っぽくておまけに伝わり難い」ものがあるとすればその青銅器はポップアップカレンダーでない fact8: その青銅器がポップアップカレンダーでないならばあの企画は機械作業で強請る fact9: 「百三十七例でない」物はある fact10: 仮にこの薪割りは懐こくないならば「頼り無いかあるいはそれは発遣いであるということはないかどちらもである」ということは間違いである fact11: 小煩い物は脂っぽい fact12: 「公売である」物はある
fact9 & fact4 -> int1: 「あの労働者生産協同組合は移動し易いということはなくてそれに授権株式数でない」ということは本当でない; fact1 -> int2: もし「あの労働者生産協同組合は移動し易くないしそれは授権株式数でない」ということは成り立たないとすればそれは小煩い; int1 & int2 -> int3: あの労働者生産協同組合は小煩い; fact11 -> int4: 仮に「あの労働者生産協同組合は小煩い」ということは真実だとすればそれは脂っぽい; int3 & int4 -> int5: あの労働者生産協同組合は脂っぽい; fact5 & fact2 -> int6: この薪割りは懐こくない; fact10 & int6 -> int7: 「この薪割りは頼り無いかもしくは発遣いでないかどちらもだ」ということは事実でない; fact3 & int7 -> int8: 「あの労働者生産協同組合は伝わり難い」ということは確かである; int5 & int8 -> int9: あの労働者生産協同組合は脂っぽいしまた伝わり難い; int9 -> int10: なんらかの物は脂っぽいし伝わり難い; int10 & fact7 -> int11: その青銅器はポップアップカレンダーでない; int11 & fact8 -> int12: あの企画は機械作業だし強請る; int12 -> hypothesis;
$facts$ = fact1: 仮に「なんらかの物は移動し易くないしさらに授権株式数でない」ということは誤りであるならそれは小煩い fact2: 「公売でない」ものはある fact3: 仮に「この薪割りは頼り無いか発遣いでないかもしくはどちらもだ」ということは本当でないとすればあの労働者生産協同組合は伝わり難い fact4: もし仮に「とあるものは百三十七例でない」ということは成り立てば「あの労働者生産協同組合は移動し易くないししかも授権株式数でない」ということは間違っている fact5: 「公売でない」ものがあるとすればこの薪割りは懐こくない fact6: もしもこの薪割りが懐こくないとすればそれは発遣いだ fact7: もし仮に「脂っぽくておまけに伝わり難い」ものがあるとすればその青銅器はポップアップカレンダーでない fact8: その青銅器がポップアップカレンダーでないならばあの企画は機械作業で強請る fact9: 「百三十七例でない」物はある fact10: 仮にこの薪割りは懐こくないならば「頼り無いかあるいはそれは発遣いであるということはないかどちらもである」ということは間違いである fact11: 小煩い物は脂っぽい fact12: 「公売である」物はある ; $hypothesis$ = あの企画は機械作業でない ; $proof$ = 
fact9 & fact4 -> int1: 「あの労働者生産協同組合は移動し易いということはなくてそれに授権株式数でない」ということは本当でない; fact1 -> int2: もし「あの労働者生産協同組合は移動し易くないしそれは授権株式数でない」ということは成り立たないとすればそれは小煩い; int1 & int2 -> int3: あの労働者生産協同組合は小煩い; fact11 -> int4: 仮に「あの労働者生産協同組合は小煩い」ということは真実だとすればそれは脂っぽい; int3 & int4 -> int5: あの労働者生産協同組合は脂っぽい; fact5 & fact2 -> int6: この薪割りは懐こくない; fact10 & int6 -> int7: 「この薪割りは頼り無いかもしくは発遣いでないかどちらもだ」ということは事実でない; fact3 & int7 -> int8: 「あの労働者生産協同組合は伝わり難い」ということは確かである; int5 & int8 -> int9: あの労働者生産協同組合は脂っぽいしまた伝わり難い; int9 -> int10: なんらかの物は脂っぽいし伝わり難い; int10 & fact7 -> int11: その青銅器はポップアップカレンダーでない; int11 & fact8 -> int12: あの企画は機械作業だし強請る; int12 -> hypothesis; __DISPROVED__
事実1: 仮に「なんらかの物は移動し易くないしさらに授権株式数でない」ということは誤りであるならそれは小煩い
事実2: 「公売でない」ものはある
事実3: 仮に「この薪割りは頼り無いか発遣いでないかもしくはどちらもだ」ということは本当でないとすればあの労働者生産協同組合は伝わり難い
事実4: もし仮に「とあるものは百三十七例でない」ということは成り立てば「あの労働者生産協同組合は移動し易くないししかも授権株式数でない」ということは間違っている
事実5: 「公売でない」ものがあるとすればこの薪割りは懐こくない
事実6: もしもこの薪割りが懐こくないとすればそれは発遣いだ
事実7: もし仮に「脂っぽくておまけに伝わり難い」ものがあるとすればその青銅器はポップアップカレンダーでない
事実8: その青銅器がポップアップカレンダーでないならばあの企画は機械作業で強請る
事実9: 「百三十七例でない」物はある
事実10: 仮にこの薪割りは懐こくないならば「頼り無いかあるいはそれは発遣いであるということはないかどちらもである」ということは間違いである
事実11: 小煩い物は脂っぽい
事実12: 「公売である」物はある

仮説: あの企画は機械作業でない
1. 事実9と事実4から、推論1: "「あの労働者生産協同組合は移動し易いということはなくてそれに授権株式数でない」ということは本当でない"が導かれる
2. 事実1から、推論2: "もし「あの労働者生産協同組合は移動し易くないしそれは授権株式数でない」ということは成り立たないとすればそれは小煩い"が導かれる
3. 推論1と推論2から、推論3: "あの労働者生産協同組合は小煩い"が導かれる
4. 事実11から、推論4: "仮に「あの労働者生産協同組合は小煩い」ということは真実だとすればそれは脂っぽい"が導かれる
5. 推論3と推論4から、推論5: "あの労働者生産協同組合は脂っぽい"が導かれる
6. 事実5と事実2から、推論6: "この薪割りは懐こくない"が導かれる
7. 事実10と推論6から、推論7: "「この薪割りは頼り無いかもしくは発遣いでないかどちらもだ」ということは事実でない"が導かれる
8. 事実3と推論7から、推論8: "「あの労働者生産協同組合は伝わり難い」ということは確かである"が導かれる
9. 推論5と推論8から、推論9: "あの労働者生産協同組合は脂っぽいしまた伝わり難い"が導かれる
10. 推論9から、推論10: "なんらかの物は脂っぽいし伝わり難い"が導かれる
11. 推論10と事実7から、推論11: "その青銅器はポップアップカレンダーでない"が導かれる
12. 推論11と事実8から、推論12: "あの企画は機械作業だし強請る"が導かれる
13. 推論12から、仮説が否定される

よって、仮説が否定されました。