その五月賞組は味気ない
fact1: もしもとある物は余所見するとすると「「その五月賞組は野太いということはないけれどそれは癌化する」ということは成り立つ」ということは成り立たない fact2: もし仮に「なにがしかの物は野太くないけれど癌化する」ということは間違っているとすればそれは味気ないということはない fact3: 野太い物は味気なくない fact4: 「その五月賞組は野太いしそれに癌化する」ということは偽である fact5: もし仮にあるものは余所見するとすると「その五月賞組は野太いし癌化する」ということは確かでない fact6: ある物は余所見する
fact2 -> int1: もしも「その五月賞組は野太くないがしかし癌化する」ということは成り立たないとしたらそれは味気ないということはない; fact1 & fact6 -> int2: 「その五月賞組は野太くないがしかし癌化する」ということは嘘である; int1 & int2 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact1 & fact6 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
$facts$ = fact1: もしもとある物は余所見するとすると「「その五月賞組は野太いということはないけれどそれは癌化する」ということは成り立つ」ということは成り立たない fact2: もし仮に「なにがしかの物は野太くないけれど癌化する」ということは間違っているとすればそれは味気ないということはない fact3: 野太い物は味気なくない fact4: 「その五月賞組は野太いしそれに癌化する」ということは偽である fact5: もし仮にあるものは余所見するとすると「その五月賞組は野太いし癌化する」ということは確かでない fact6: ある物は余所見する ; $hypothesis$ = その五月賞組は味気ない ; $proof$ = 
fact2 -> int1: もしも「その五月賞組は野太くないがしかし癌化する」ということは成り立たないとしたらそれは味気ないということはない; fact1 & fact6 -> int2: 「その五月賞組は野太くないがしかし癌化する」ということは嘘である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもとある物は余所見するとすると「「その五月賞組は野太いということはないけれどそれは癌化する」ということは成り立つ」ということは成り立たない
事実2: もし仮に「なにがしかの物は野太くないけれど癌化する」ということは間違っているとすればそれは味気ないということはない
事実3: 野太い物は味気なくない
事実4: 「その五月賞組は野太いしそれに癌化する」ということは偽である
事実5: もし仮にあるものは余所見するとすると「その五月賞組は野太いし癌化する」ということは確かでない
事実6: ある物は余所見する

仮説: その五月賞組は味気ない
1. 事実2から、推論1: "もしも「その五月賞組は野太くないがしかし癌化する」ということは成り立たないとしたらそれは味気ないということはない"が導かれる
2. 事実1と事実6から、推論2: "「その五月賞組は野太くないがしかし癌化する」ということは嘘である"が導かれる
3. 推論1と推論2から、仮説が否定される

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