「「あのみちょみなLv.37は上り終えるし馬鹿馬鹿しい」ということは誤りである」ということは偽でない
fact1: そのまねまやLv.50は甲斐甲斐しい fact2: そのまねまやLv.50は開眼する fact3: もしもそのまねまやLv.50は解し難いということはないとすると「あのみちょみなLv.37は上り終えるししかもそれは馬鹿馬鹿しい」ということは誤っている
fact1 & fact2 -> int1: そのまねまやLv.50は甲斐甲斐しいモンスターであってまた開眼する;
fact1 & fact2 -> int1: ({A}{a} & {B}{a});
$facts$ = fact1: そのまねまやLv.50は甲斐甲斐しい fact2: そのまねまやLv.50は開眼する fact3: もしもそのまねまやLv.50は解し難いということはないとすると「あのみちょみなLv.37は上り終えるししかもそれは馬鹿馬鹿しい」ということは誤っている ; $hypothesis$ = 「「あのみちょみなLv.37は上り終えるし馬鹿馬鹿しい」ということは誤りである」ということは偽でない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__