このぷやぷにゅLv.21は把握し辛い
fact1: もし仮にそのみよみいLv.2が優しいならばそのみよみいLv.2は自覚す fact2: そのみよみいLv.2は優しい fact3: もしそのみよみいLv.2は自覚すか可笑しいかどちらもであるとすると「このぷやぷにゅLv.21は把握し辛くない」ということは本当だ
fact1 & fact2 -> int1: そのみよみいLv.2は自覚す; int1 -> int2: そのみよみいLv.2は自覚すかもしくは可笑しい; int2 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にそのみよみいLv.2が優しいならばそのみよみいLv.2は自覚す fact2: そのみよみいLv.2は優しい fact3: もしそのみよみいLv.2は自覚すか可笑しいかどちらもであるとすると「このぷやぷにゅLv.21は把握し辛くない」ということは本当だ ; $hypothesis$ = このぷやぷにゅLv.21は把握し辛い ; $proof$ = 
fact1 & fact2 -> int1: そのみよみいLv.2は自覚す; int1 -> int2: そのみよみいLv.2は自覚すかもしくは可笑しい; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact3 -> hypothesis; __DISPROVED__