そのみえみのLv.64は観光客らしくない
fact1: 「何らかのモンスターは程良いし観光客らしい」ということは偽であるとするとそれは観光客らしくない fact2: もしもとあるモンスターはカウントアップしないとしたら「それは程良くてそれに観光客らしい」ということは偽だ fact3: そのみのみよLv.51は程良くてさらにカウントアップする fact4: 仮に「そのみのみよLv.51はがめついかもしくはカウントアップする」ということは事実と異なるとしたらそのみえみのLv.64はカウントアップしない fact5: そのみのみよLv.51が程良いとするとそのみえみのLv.64は観光客らしい
fact3 -> int1: そのみのみよLv.51は程良い; int1 & fact5 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
そのみえみのLv.64は観光客らしくない
fact7 -> int2: 仮に「そのみえみのLv.64は程良くて観光客らしい」ということは間違いであるとすればそのみえみのLv.64は観光客らしくない; fact8 -> int3: もし仮にそのみえみのLv.64はカウントアップするということはないとしたら「そのみえみのLv.64は程良いしかつ観光客らしい」ということは間違いである;
$facts$ = fact1: 「何らかのモンスターは程良いし観光客らしい」ということは偽であるとするとそれは観光客らしくない fact2: もしもとあるモンスターはカウントアップしないとしたら「それは程良くてそれに観光客らしい」ということは偽だ fact3: そのみのみよLv.51は程良くてさらにカウントアップする fact4: 仮に「そのみのみよLv.51はがめついかもしくはカウントアップする」ということは事実と異なるとしたらそのみえみのLv.64はカウントアップしない fact5: そのみのみよLv.51が程良いとするとそのみえみのLv.64は観光客らしい ; $hypothesis$ = そのみえみのLv.64は観光客らしくない ; $proof$ = 
fact3 -> int1: そのみのみよLv.51は程良い; int1 & fact5 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __DISPROVED__