このぽにゃぽにLv.58は白けるということはない
fact1: このまちょまちゅLv.92は憎らしくないとしたら「このぽにゃぽにLv.58は白けない」ということは確かだ fact2: 仮にこのまちょまちゅLv.92が逞しくないし加工しないならこのまちょまちゅLv.92は憎らしくない fact3: このまちょまちゅLv.92は逞しくない fact4: あらゆるモンスターは言い難くてそれに難儀しない fact5: もし仮にこのぽにょぽよLv.16が言い難いけれど難儀するということはないならばこのまちょまちゅLv.92は加工するということはない
fact4 -> int1: このぽにょぽよLv.16は言い難いけどそれは難儀しない; int1 & fact5 -> int2: このまちょまちゅLv.92は加工しない; int2 & fact3 -> int3: このまちょまちゅLv.92は逞しくないし更に加工しない; int3 & fact2 -> int4: このまちょまちゅLv.92は憎らしくない; int4 & fact1 -> hypothesis;
fact4 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact3 -> int3: (¬{D}{a} & ¬{C}{a}); int3 & fact2 -> int4: ¬{E}{a}; int4 & fact1 -> hypothesis;
$facts$ = fact1: このまちょまちゅLv.92は憎らしくないとしたら「このぽにゃぽにLv.58は白けない」ということは確かだ fact2: 仮にこのまちょまちゅLv.92が逞しくないし加工しないならこのまちょまちゅLv.92は憎らしくない fact3: このまちょまちゅLv.92は逞しくない fact4: あらゆるモンスターは言い難くてそれに難儀しない fact5: もし仮にこのぽにょぽよLv.16が言い難いけれど難儀するということはないならばこのまちょまちゅLv.92は加工するということはない ; $hypothesis$ = このぽにゃぽにLv.58は白けるということはない ; $proof$ = 
fact4 -> int1: このぽにょぽよLv.16は言い難いけどそれは難儀しない; int1 & fact5 -> int2: このまちょまちゅLv.92は加工しない; int2 & fact3 -> int3: このまちょまちゅLv.92は逞しくないし更に加工しない; int3 & fact2 -> int4: このまちょまちゅLv.92は憎らしくない; int4 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact3 -> int3: (¬{D}{a} & ¬{C}{a}); int3 & fact2 -> int4: ¬{E}{a}; int4 & fact1 -> hypothesis; __PROVED__