「そのまちょまにゃLv.19は持ち難いし加えて勿体無い」ということは確かでない
fact1: あのまねまわLv.51が欺罔するならそのまちょまにゃLv.19は把握し難い fact2: あのまねまわLv.51は欺罔する fact3: そのまちょまにゃLv.19は勿体無い fact4: 仮にそのまちょまにゃLv.19が把握し難いならばそれは持ち難い
fact1 & fact2 -> int1: そのまちょまにゃLv.19は把握し難い; int1 & fact4 -> int2: そのまちょまにゃLv.19は持ち難い; int2 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: あのまねまわLv.51が欺罔するならそのまちょまにゃLv.19は把握し難い fact2: あのまねまわLv.51は欺罔する fact3: そのまちょまにゃLv.19は勿体無い fact4: 仮にそのまちょまにゃLv.19が把握し難いならばそれは持ち難い ; $hypothesis$ = 「そのまちょまにゃLv.19は持ち難いし加えて勿体無い」ということは確かでない ; $proof$ = 
fact1 & fact2 -> int1: そのまちょまにゃLv.19は把握し難い; int1 & fact4 -> int2: そのまちょまにゃLv.19は持ち難い; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__