この企業集団内は目撃しない
fact1: 仮にその訳有りが忌ま忌ましいとしたらそれは水系塗料である fact2: もしこの広告主が愛唱するということはないとすればこの企業集団内は愛唱するということはない fact3: その訳有りは精細管だ fact4: その巡業は借り易い fact5: とある物は水系塗料でないとすれば「それが喋り難いしその上それはマルクス主義者だ」ということは嘘である fact6: もし仮に「何かは育ち難いかもしくは慎み深くない」ということは成り立たないならばそれは例えない fact7: もしもその訳有りは精細管であるならば「戻し入れする」ということは確かだ fact8: 仮にある物が例えないならばそれは気付き易くなくてそれは借り易い fact9: 与し易くないものが生き残り得ないとしたら気付き易い fact10: もし気付き易くない物が借り易いとしたらそれは目撃しない fact11: もしもその訳有りが戻し入れするしそれが水系塗料だとするとその名探偵は水系塗料でない fact12: もし仮になにかは愛唱するということはないならば「それは育ち難いかあるいは慎み深くないかあるいはどちらもである」ということは間違いだ fact13: 仮に「その巡業は気付き易い」ということは事実と異ならないとすればこの企業集団内は目撃する fact14: もしこの企業集団内が借り易いとしたらそれは目撃するということはないしさらに与し易くない fact15: 「その名探偵は喋り難いしその上マルクス主義者である」ということは誤っているとすればこの広告主は愛唱するということはない fact16: もし「その巡業は借り易い」ということは成り立つとすればそれは与し易くないし更に生き残り得ない
fact9 -> int1: もしも「その巡業が与し易いということはないしさらに生き残り得ない」ということは成り立つとするとそれは気付き易い; fact4 & fact16 -> int2: その巡業は与し易いということはないしかつ生き残り得ない; int1 & int2 -> int3: その巡業は気付き易い; int3 & fact13 -> hypothesis;
fact9 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact4 & fact16 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact13 -> hypothesis;
この企業集団内は目撃しない
fact27 -> int4: 仮にこの企業集団内が気付き易いということはないがそれは借り易いなら「目撃しない」ということは真実である; fact18 -> int5: 仮にこの企業集団内が例えないとすると気付き易くないけど借り易い; fact23 -> int6: もしも「「この企業集団内は育ち難いかもしくは慎み深くない」ということは嘘である」ということは真実なら「例えない」ということは間違いでない; fact19 -> int7: もしもこの企業集団内は愛唱するということはないとすると「それは育ち難いかそれは慎み深くない」ということは真実だということはない; fact25 -> int8: その名探偵は水系塗料でないとしたら「それは喋り難いししかもマルクス主義者だ」ということは嘘だ; fact17 & fact26 -> int9: 「その訳有りは戻し入れする」ということは偽でない;
$facts$ = fact1: 仮にその訳有りが忌ま忌ましいとしたらそれは水系塗料である fact2: もしこの広告主が愛唱するということはないとすればこの企業集団内は愛唱するということはない fact3: その訳有りは精細管だ fact4: その巡業は借り易い fact5: とある物は水系塗料でないとすれば「それが喋り難いしその上それはマルクス主義者だ」ということは嘘である fact6: もし仮に「何かは育ち難いかもしくは慎み深くない」ということは成り立たないならばそれは例えない fact7: もしもその訳有りは精細管であるならば「戻し入れする」ということは確かだ fact8: 仮にある物が例えないならばそれは気付き易くなくてそれは借り易い fact9: 与し易くないものが生き残り得ないとしたら気付き易い fact10: もし気付き易くない物が借り易いとしたらそれは目撃しない fact11: もしもその訳有りが戻し入れするしそれが水系塗料だとするとその名探偵は水系塗料でない fact12: もし仮になにかは愛唱するということはないならば「それは育ち難いかあるいは慎み深くないかあるいはどちらもである」ということは間違いだ fact13: 仮に「その巡業は気付き易い」ということは事実と異ならないとすればこの企業集団内は目撃する fact14: もしこの企業集団内が借り易いとしたらそれは目撃するということはないしさらに与し易くない fact15: 「その名探偵は喋り難いしその上マルクス主義者である」ということは誤っているとすればこの広告主は愛唱するということはない fact16: もし「その巡業は借り易い」ということは成り立つとすればそれは与し易くないし更に生き残り得ない ; $hypothesis$ = この企業集団内は目撃しない ; $proof$ = 
fact9 -> int1: もしも「その巡業が与し易いということはないしさらに生き残り得ない」ということは成り立つとするとそれは気付き易い; fact4 & fact16 -> int2: その巡業は与し易いということはないしかつ生き残り得ない; int1 & int2 -> int3: その巡業は気付き易い; int3 & fact13 -> hypothesis; __DISPROVED__
事実1: 仮にその訳有りが忌ま忌ましいとしたらそれは水系塗料である
事実2: もしこの広告主が愛唱するということはないとすればこの企業集団内は愛唱するということはない
事実3: その訳有りは精細管だ
事実4: その巡業は借り易い
事実5: とある物は水系塗料でないとすれば「それが喋り難いしその上それはマルクス主義者だ」ということは嘘である
事実6: もし仮に「何かは育ち難いかもしくは慎み深くない」ということは成り立たないならばそれは例えない
事実7: もしもその訳有りは精細管であるならば「戻し入れする」ということは確かだ
事実8: 仮にある物が例えないならばそれは気付き易くなくてそれは借り易い
事実9: 与し易くないものが生き残り得ないとしたら気付き易い
事実10: もし気付き易くない物が借り易いとしたらそれは目撃しない
事実11: もしもその訳有りが戻し入れするしそれが水系塗料だとするとその名探偵は水系塗料でない
事実12: もし仮になにかは愛唱するということはないならば「それは育ち難いかあるいは慎み深くないかあるいはどちらもである」ということは間違いだ
事実13: 仮に「その巡業は気付き易い」ということは事実と異ならないとすればこの企業集団内は目撃する
事実14: もしこの企業集団内が借り易いとしたらそれは目撃するということはないしさらに与し易くない
事実15: 「その名探偵は喋り難いしその上マルクス主義者である」ということは誤っているとすればこの広告主は愛唱するということはない
事実16: もし「その巡業は借り易い」ということは成り立つとすればそれは与し易くないし更に生き残り得ない

仮説: この企業集団内は目撃しない
1. 事実9から、推論1: "もしも「その巡業が与し易いということはないしさらに生き残り得ない」ということは成り立つとするとそれは気付き易い"が導かれる
2. 事実4と事実16から、推論2: "その巡業は与し易いということはないしかつ生き残り得ない"が導かれる
3. 推論1と推論2から、推論3: "その巡業は気付き易い"が導かれる
4. 推論3と事実13から、仮説が否定される

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