その龍野組合は埋設しない
fact1: この朝食は急拡大するし小汚い fact2: その果樹園は急拡大する fact3: この朝食が利き難いならその龍野組合は急拡大する fact4: 「この朝食は小汚い」ということは誤りでない fact5: この朝食は再編するしそれは埋設する fact6: もし何かは自由化すれば利き難い fact7: もし仮にこの朝食が急拡大すればその龍野組合は自由化する fact8: この朝食は自由化する fact9: 利き難いものは埋設する
fact1 -> int1: この朝食は急拡大する; int1 & fact7 -> int2: その龍野組合は自由化する; fact6 -> int3: もしもその龍野組合が自由化するなら利き難い; int2 & int3 -> int4: その龍野組合は利き難い; fact9 -> int5: もしその龍野組合が利き難いならばそれは埋設する; int4 & int5 -> hypothesis;
$facts$ = fact1: この朝食は急拡大するし小汚い fact2: その果樹園は急拡大する fact3: この朝食が利き難いならその龍野組合は急拡大する fact4: 「この朝食は小汚い」ということは誤りでない fact5: この朝食は再編するしそれは埋設する fact6: もし何かは自由化すれば利き難い fact7: もし仮にこの朝食が急拡大すればその龍野組合は自由化する fact8: この朝食は自由化する fact9: 利き難いものは埋設する ; $hypothesis$ = その龍野組合は埋設しない ; $proof$ = 
fact1 -> int1: この朝食は急拡大する; int1 & fact7 -> int2: その龍野組合は自由化する; fact6 -> int3: もしもその龍野組合が自由化するなら利き難い; int2 & int3 -> int4: その龍野組合は利き難い; fact9 -> int5: もしその龍野組合が利き難いならばそれは埋設する; int4 & int5 -> hypothesis; __DISPROVED__
事実1: この朝食は急拡大するし小汚い
事実2: その果樹園は急拡大する
事実3: この朝食が利き難いならその龍野組合は急拡大する
事実4: 「この朝食は小汚い」ということは誤りでない
事実5: この朝食は再編するしそれは埋設する
事実6: もし何かは自由化すれば利き難い
事実7: もし仮にこの朝食が急拡大すればその龍野組合は自由化する
事実8: この朝食は自由化する
事実9: 利き難いものは埋設する

仮説: その龍野組合は埋設しない
1. 事実1から、推論1: "この朝食は急拡大する"が導かれる
2. 推論1と事実7から、推論2: "その龍野組合は自由化する"が導かれる
3. 事実6から、推論3: "もしもその龍野組合が自由化するなら利き難い"が導かれる
4. 推論2と推論3から、推論4: "その龍野組合は利き難い"が導かれる
5. 事実9から、推論5: "もしその龍野組合が利き難いならばそれは埋設する"が導かれる
6. 推論4と推論5から、仮説が否定される

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