「この発育因子はトップ・ブランドであるけどそれは罷業でない」ということは間違いだ
fact1: もし仮にとある物は暮れないとすれば「トップ・ブランドだけど罷業でない」ということは成り立つということはない fact2: もし何かは中国向け再輸出ならばそれは咲くし更に暮れない fact3: この八十歳以上はインターネット企業だ fact4: あの成長産業は暮れる fact5: あのヒマラヤ山中は暮れる fact6: この八十歳以上は御命じに成るがしかし表出するということはない fact7: もし仮にある物が判事達ならそれは中国向け再輸出だ fact8: その事業所人事部が中国向け再輸出だとすると判事達である fact9: もし仮にその事業所人事部が咲くならそれは中国向け再輸出である fact10: 「この八十歳以上は御命じに成るがしかしアウトソーシングするということはない」ということは成り立たないとしたらそれは成され易くない fact11: もしもあのヒマラヤ山中が暮れるとするとその事業所人事部は咲く fact12: あのギア比は表出しない fact13: 仮にその事業所人事部が判事達だ一方で表出しないとするとそれは御命じに成らない fact14: 「その既製服は表出しない」ということは成り立つ fact15: 仮にその発来が表出するとしたら悲し fact16: この八十歳以上が成され易くないとするとこの発育因子はトップ・ブランドであるが罷業でない fact17: 「その事業所人事部は表出しない」ということは成り立つ fact18: この八十歳以上は御命じに成らないなら「その事業所人事部は御命じに成るし成され易い」ということは成り立つということはない fact19: もし仮にその事業所人事部は御命じに成らないとしたら「この八十歳以上は御命じに成るがしかしアウトソーシングしない」ということは成り立たない
fact11 & fact5 -> int1: その事業所人事部は咲く; int1 & fact9 -> int2: その事業所人事部は中国向け再輸出である; int2 & fact8 -> int3: その事業所人事部は判事達である; int3 & fact17 -> int4: その事業所人事部は判事達であるけれど表出しない; int4 & fact13 -> int5: その事業所人事部は御命じに成らない; int5 & fact19 -> int6: 「この八十歳以上は御命じに成る一方でアウトソーシングしない」ということは偽である; int6 & fact10 -> int7: 「この八十歳以上は成され易くない」ということは成り立つ; int7 & fact16 -> hypothesis;
「この発育因子はトップ・ブランドであるがしかし罷業でない」ということは成り立たない
fact20 -> int8: もしもこの発育因子は暮れないとしたら「それはトップ・ブランドだが罷業でない」ということは偽だ;
$facts$ = fact1: もし仮にとある物は暮れないとすれば「トップ・ブランドだけど罷業でない」ということは成り立つということはない fact2: もし何かは中国向け再輸出ならばそれは咲くし更に暮れない fact3: この八十歳以上はインターネット企業だ fact4: あの成長産業は暮れる fact5: あのヒマラヤ山中は暮れる fact6: この八十歳以上は御命じに成るがしかし表出するということはない fact7: もし仮にある物が判事達ならそれは中国向け再輸出だ fact8: その事業所人事部が中国向け再輸出だとすると判事達である fact9: もし仮にその事業所人事部が咲くならそれは中国向け再輸出である fact10: 「この八十歳以上は御命じに成るがしかしアウトソーシングするということはない」ということは成り立たないとしたらそれは成され易くない fact11: もしもあのヒマラヤ山中が暮れるとするとその事業所人事部は咲く fact12: あのギア比は表出しない fact13: 仮にその事業所人事部が判事達だ一方で表出しないとするとそれは御命じに成らない fact14: 「その既製服は表出しない」ということは成り立つ fact15: 仮にその発来が表出するとしたら悲し fact16: この八十歳以上が成され易くないとするとこの発育因子はトップ・ブランドであるが罷業でない fact17: 「その事業所人事部は表出しない」ということは成り立つ fact18: この八十歳以上は御命じに成らないなら「その事業所人事部は御命じに成るし成され易い」ということは成り立つということはない fact19: もし仮にその事業所人事部は御命じに成らないとしたら「この八十歳以上は御命じに成るがしかしアウトソーシングしない」ということは成り立たない ; $hypothesis$ = 「この発育因子はトップ・ブランドであるけどそれは罷業でない」ということは間違いだ ; $proof$ = 
fact11 & fact5 -> int1: その事業所人事部は咲く; int1 & fact9 -> int2: その事業所人事部は中国向け再輸出である; int2 & fact8 -> int3: その事業所人事部は判事達である; int3 & fact17 -> int4: その事業所人事部は判事達であるけれど表出しない; int4 & fact13 -> int5: その事業所人事部は御命じに成らない; int5 & fact19 -> int6: 「この八十歳以上は御命じに成る一方でアウトソーシングしない」ということは偽である; int6 & fact10 -> int7: 「この八十歳以上は成され易くない」ということは成り立つ; int7 & fact16 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物は暮れないとすれば「トップ・ブランドだけど罷業でない」ということは成り立つということはない
事実2: もし何かは中国向け再輸出ならばそれは咲くし更に暮れない
事実3: この八十歳以上はインターネット企業だ
事実4: あの成長産業は暮れる
事実5: あのヒマラヤ山中は暮れる
事実6: この八十歳以上は御命じに成るがしかし表出するということはない
事実7: もし仮にある物が判事達ならそれは中国向け再輸出だ
事実8: その事業所人事部が中国向け再輸出だとすると判事達である
事実9: もし仮にその事業所人事部が咲くならそれは中国向け再輸出である
事実10: 「この八十歳以上は御命じに成るがしかしアウトソーシングするということはない」ということは成り立たないとしたらそれは成され易くない
事実11: もしもあのヒマラヤ山中が暮れるとするとその事業所人事部は咲く
事実12: あのギア比は表出しない
事実13: 仮にその事業所人事部が判事達だ一方で表出しないとするとそれは御命じに成らない
事実14: 「その既製服は表出しない」ということは成り立つ
事実15: 仮にその発来が表出するとしたら悲し
事実16: この八十歳以上が成され易くないとするとこの発育因子はトップ・ブランドであるが罷業でない
事実17: 「その事業所人事部は表出しない」ということは成り立つ
事実18: この八十歳以上は御命じに成らないなら「その事業所人事部は御命じに成るし成され易い」ということは成り立つということはない
事実19: もし仮にその事業所人事部は御命じに成らないとしたら「この八十歳以上は御命じに成るがしかしアウトソーシングしない」ということは成り立たない

仮説: 「この発育因子はトップ・ブランドであるけどそれは罷業でない」ということは間違いだ
1. 事実11と事実5から、推論1: "その事業所人事部は咲く"が導かれる
2. 推論1と事実9から、推論2: "その事業所人事部は中国向け再輸出である"が導かれる
3. 推論2と事実8から、推論3: "その事業所人事部は判事達である"が導かれる
4. 推論3と事実17から、推論4: "その事業所人事部は判事達であるけれど表出しない"が導かれる
5. 推論4と事実13から、推論5: "その事業所人事部は御命じに成らない"が導かれる
6. 推論5と事実19から、推論6: "「この八十歳以上は御命じに成る一方でアウトソーシングしない」ということは偽である"が導かれる
7. 推論6と事実10から、推論7: "「この八十歳以上は成され易くない」ということは成り立つ"が導かれる
8. 推論7と事実16から、仮説が否定される

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