そのぷちゅぷねLv.50は首尾良い
fact1: 「あのまちゃまのLv.56は刺殺する」ということは確かだ fact2: あのまちゃまのLv.56が生成し易いし刺殺するならそのぷちゅぷねLv.50は首尾良くない fact3: このぽにぽえLv.82は刺殺しない fact4: あのまちゃまのLv.56は生成し易い
fact4 & fact1 -> int1: あのまちゃまのLv.56は生成し易いしさらに刺殺する; int1 & fact2 -> hypothesis;
fact4 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 「あのまちゃまのLv.56は刺殺する」ということは確かだ fact2: あのまちゃまのLv.56が生成し易いし刺殺するならそのぷちゅぷねLv.50は首尾良くない fact3: このぽにぽえLv.82は刺殺しない fact4: あのまちゃまのLv.56は生成し易い ; $hypothesis$ = そのぷちゅぷねLv.50は首尾良い ; $proof$ = 
fact4 & fact1 -> int1: あのまちゃまのLv.56は生成し易いしさらに刺殺する; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis; __DISPROVED__