そのまのまやLv.91は生き易くない
fact1: そのぷわぷにゃLv.50は凛々しくて加えてそれは生き易い fact2: 「腹立つ」モンスターはいる fact3: そのまのまやLv.91はむくつけししおまけに接続する fact4: 仮に「腹立つ」モンスターがいればそのまのまやLv.91は接続するしさらに生き易い fact5: 「生き易い」モンスターはいる
fact2 & fact4 -> int1: そのまのまやLv.91は接続するししかも生き易い; int1 -> hypothesis;
fact2 & fact4 -> int1: ({B}{a} & {C}{a}); int1 -> hypothesis;
$facts$ = fact1: そのぷわぷにゃLv.50は凛々しくて加えてそれは生き易い fact2: 「腹立つ」モンスターはいる fact3: そのまのまやLv.91はむくつけししおまけに接続する fact4: 仮に「腹立つ」モンスターがいればそのまのまやLv.91は接続するしさらに生き易い fact5: 「生き易い」モンスターはいる ; $hypothesis$ = そのまのまやLv.91は生き易くない ; $proof$ = 
fact2 & fact4 -> int1: そのまのまやLv.91は接続するししかも生き易い; int1 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: ({B}{a} & {C}{a}); int1 -> hypothesis; __DISPROVED__