そのまわまなLv.11は帰参する
fact1: あのぽやぽちゃLv.68は忍び難くない fact2: 忍び難いということはないモンスターは許し難しけどおもろくない fact3: もしあのぽやぽちゃLv.68が忍び難いということはないとすればそれは許し難しけど帰参しない fact4: あのぽやぽちゃLv.68が許し難しけれどおもろくないならそのまわまなLv.11は帰参しない
fact2 -> int1: あのぽやぽちゃLv.68が忍び難くないとすればあのぽやぽちゃLv.68は許し難し一方でそれはおもろくない; int1 & fact1 -> int2: あのぽやぽちゃLv.68は許し難しがおもろくない; int2 & fact4 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> hypothesis;
$facts$ = fact1: あのぽやぽちゃLv.68は忍び難くない fact2: 忍び難いということはないモンスターは許し難しけどおもろくない fact3: もしあのぽやぽちゃLv.68が忍び難いということはないとすればそれは許し難しけど帰参しない fact4: あのぽやぽちゃLv.68が許し難しけれどおもろくないならそのまわまなLv.11は帰参しない ; $hypothesis$ = そのまわまなLv.11は帰参する ; $proof$ = 
fact2 -> int1: あのぽやぽちゃLv.68が忍び難くないとすればあのぽやぽちゃLv.68は許し難し一方でそれはおもろくない; int1 & fact1 -> int2: あのぽやぽちゃLv.68は許し難しがおもろくない; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> hypothesis; __DISPROVED__