「そのみちゅみちょLv.95は横溢する」ということは成り立つ
fact1: このぴやぴくLv.69は最もらしい fact2: 仮にこのみちゅみやLv.24が最もらしいならばそれはすーごいし生活し易いということはない fact3: 仮にこのぴやぴくLv.69がすーごくないし加えて横溢しないならばそのみちゅみちょLv.95は横溢する fact4: 「あるモンスターは最もらしいしすーごい」ということは成り立たないとすればそれは最もらしくない fact5: そのみちゅみちょLv.95はすーごい fact6: このぴやぴくLv.69が最もらしいかまたはすーごいとすればそのみちゅみちょLv.95は横溢しない
fact1 -> int1: このぴやぴくLv.69は最もらしいかもしくはそれはすーごい; int1 & fact6 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact6 -> hypothesis;
「そのみちゅみちょLv.95は横溢する」ということは成り立つ
$facts$ = fact1: このぴやぴくLv.69は最もらしい fact2: 仮にこのみちゅみやLv.24が最もらしいならばそれはすーごいし生活し易いということはない fact3: 仮にこのぴやぴくLv.69がすーごくないし加えて横溢しないならばそのみちゅみちょLv.95は横溢する fact4: 「あるモンスターは最もらしいしすーごい」ということは成り立たないとすればそれは最もらしくない fact5: そのみちゅみちょLv.95はすーごい fact6: このぴやぴくLv.69が最もらしいかまたはすーごいとすればそのみちゅみちょLv.95は横溢しない ; $hypothesis$ = 「そのみちゅみちょLv.95は横溢する」ということは成り立つ ; $proof$ = 
fact1 -> int1: このぴやぴくLv.69は最もらしいかもしくはそれはすーごい; int1 & fact6 -> hypothesis; __DISPROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact6 -> hypothesis; __DISPROVED__