そのまちゃまくLv.17は続き易い
fact1: そのぽにゅぽなLv.21は決め難い fact2: もし仮にそのぽにゅぽなLv.21が喋り難いならそれはつべたい fact3: もし仮にそのぽにゅぽなLv.21が決め難いしおまけにつべたいならそのまちゃまくLv.17は続き易いということはない fact4: そのぽにゅぽなLv.21は喋り難い
fact2 & fact4 -> int1: そのぽにゅぽなLv.21はつべたい; int1 & fact1 -> int2: そのぽにゅぽなLv.21は決め難くてつべたい; int2 & fact3 -> hypothesis;
fact2 & fact4 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: そのぽにゅぽなLv.21は決め難い fact2: もし仮にそのぽにゅぽなLv.21が喋り難いならそれはつべたい fact3: もし仮にそのぽにゅぽなLv.21が決め難いしおまけにつべたいならそのまちゃまくLv.17は続き易いということはない fact4: そのぽにゅぽなLv.21は喋り難い ; $hypothesis$ = そのまちゃまくLv.17は続き易い ; $proof$ = 
fact2 & fact4 -> int1: そのぽにゅぽなLv.21はつべたい; int1 & fact1 -> int2: そのぽにゅぽなLv.21は決め難くてつべたい; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact3 -> hypothesis; __DISPROVED__