この社会主義的協同組合農業は卒業証明書でない
fact1: もしこの社会主義的協同組合農業は一グループであるとすると卒業証明書である fact2: もしもこの食糧輸入がみみっちいとすればそれは卒業証明書である fact3: もしもこの食糧輸入がみみっちい一方で治療戦略でないとすればそれは一グループだ fact4: もしもこの食糧輸入が利けるとすればそれは強力粉だ fact5: 「この食糧輸入は治療戦略だ」ということは成り立つ fact6: 仮にこの食糧輸入がみみっちいとしたらこの社会主義的協同組合農業は治療戦略でなくて御詳しくない fact7: 仮にこの社会主義的協同組合農業は御詳しくないが裂くなら余所余所しい fact8: 「この食糧輸入はみみっちい」ということは成り立つ fact9: もしある物が一グループでないならばみみっちいかそれは卒業証明書であるかあるいはどちらもである fact10: もし仮に何かは治療戦略でないし加えて御詳しくないとするとそれは一グループだ fact11: もしこの社会主義的協同組合農業は自動化しないとしたら「一グループだけど芸術的価値でない」ということは誤りだ
fact6 & fact8 -> int1: この社会主義的協同組合農業は治療戦略でないしおまけに御詳しくない; fact10 -> int2: 仮にこの社会主義的協同組合農業が治療戦略であるということはないしかつ御詳しくないとすれば一グループである; int1 & int2 -> int3: この社会主義的協同組合農業は一グループである; int3 & fact1 -> hypothesis;
fact6 & fact8 -> int1: (¬{AA}{b} & ¬{AB}{b}); fact10 -> int2: (¬{AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; int3 & fact1 -> hypothesis;
この重阿弥はみみっちい
fact12 -> int4: 仮にこの食糧輸入が一グループでないとすればみみっちいかもしくはそれは卒業証明書であるかあるいはどちらもだ;
$facts$ = fact1: もしこの社会主義的協同組合農業は一グループであるとすると卒業証明書である fact2: もしもこの食糧輸入がみみっちいとすればそれは卒業証明書である fact3: もしもこの食糧輸入がみみっちい一方で治療戦略でないとすればそれは一グループだ fact4: もしもこの食糧輸入が利けるとすればそれは強力粉だ fact5: 「この食糧輸入は治療戦略だ」ということは成り立つ fact6: 仮にこの食糧輸入がみみっちいとしたらこの社会主義的協同組合農業は治療戦略でなくて御詳しくない fact7: 仮にこの社会主義的協同組合農業は御詳しくないが裂くなら余所余所しい fact8: 「この食糧輸入はみみっちい」ということは成り立つ fact9: もしある物が一グループでないならばみみっちいかそれは卒業証明書であるかあるいはどちらもである fact10: もし仮に何かは治療戦略でないし加えて御詳しくないとするとそれは一グループだ fact11: もしこの社会主義的協同組合農業は自動化しないとしたら「一グループだけど芸術的価値でない」ということは誤りだ ; $hypothesis$ = この社会主義的協同組合農業は卒業証明書でない ; $proof$ = 
fact6 & fact8 -> int1: この社会主義的協同組合農業は治療戦略でないしおまけに御詳しくない; fact10 -> int2: 仮にこの社会主義的協同組合農業が治療戦略であるということはないしかつ御詳しくないとすれば一グループである; int1 & int2 -> int3: この社会主義的協同組合農業は一グループである; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしこの社会主義的協同組合農業は一グループであるとすると卒業証明書である
事実2: もしもこの食糧輸入がみみっちいとすればそれは卒業証明書である
事実3: もしもこの食糧輸入がみみっちい一方で治療戦略でないとすればそれは一グループだ
事実4: もしもこの食糧輸入が利けるとすればそれは強力粉だ
事実5: 「この食糧輸入は治療戦略だ」ということは成り立つ
事実6: 仮にこの食糧輸入がみみっちいとしたらこの社会主義的協同組合農業は治療戦略でなくて御詳しくない
事実7: 仮にこの社会主義的協同組合農業は御詳しくないが裂くなら余所余所しい
事実8: 「この食糧輸入はみみっちい」ということは成り立つ
事実9: もしある物が一グループでないならばみみっちいかそれは卒業証明書であるかあるいはどちらもである
事実10: もし仮に何かは治療戦略でないし加えて御詳しくないとするとそれは一グループだ
事実11: もしこの社会主義的協同組合農業は自動化しないとしたら「一グループだけど芸術的価値でない」ということは誤りだ

仮説: この社会主義的協同組合農業は卒業証明書でない
1. 事実6と事実8から、推論1: "この社会主義的協同組合農業は治療戦略でないしおまけに御詳しくない"が導かれる
2. 事実10から、推論2: "仮にこの社会主義的協同組合農業が治療戦略であるということはないしかつ御詳しくないとすれば一グループである"が導かれる
3. 推論1と推論2から、推論3: "この社会主義的協同組合農業は一グループである"が導かれる
4. 推論3と事実1から、仮説が否定される

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