あのもゆもゆLv.4は犇めき合う
fact1: あのぴにゅぴちゃLv.55が見え難くないとするとあのもゆもゆLv.4は犇めき合うしまたそれはし辛い fact2: あのぴにゅぴちゃLv.55はし辛いし更に見え難い fact3: もしも何らかのモンスターはでっかくないとすれば「突き固めるし加えて遅れ易い」ということは嘘である fact4: あのぴにゅぴちゃLv.55は見え難い fact5: あのぴにゅぴちゃLv.55は突き固める fact6: もしあのぴにゅぴちゃLv.55はし辛くてまた突き固めるとすればあのもゆもゆLv.4は犇めき合わない fact7: あのみのみちゃLv.77はでっかくない
fact2 -> int1: あのぴにゅぴちゃLv.55はし辛い; int1 & fact5 -> int2: あのぴにゅぴちゃLv.55はし辛いしさらにそれは突き固める; int2 & fact6 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis;
あのもゆもゆLv.4は犇めき合う
fact9 -> int3: もしあのみのみちゃLv.77はでっかくないとすると「あのみのみちゃLv.77は突き固めるし加えて遅れ易い」ということは嘘だ; int3 & fact8 -> int4: 「あのみのみちゃLv.77は突き固めるしそれに遅れ易い」ということは偽だ; int4 -> int5: 「「突き固めるし遅れ易い」ということは嘘である」モンスターはいる;
$facts$ = fact1: あのぴにゅぴちゃLv.55が見え難くないとするとあのもゆもゆLv.4は犇めき合うしまたそれはし辛い fact2: あのぴにゅぴちゃLv.55はし辛いし更に見え難い fact3: もしも何らかのモンスターはでっかくないとすれば「突き固めるし加えて遅れ易い」ということは嘘である fact4: あのぴにゅぴちゃLv.55は見え難い fact5: あのぴにゅぴちゃLv.55は突き固める fact6: もしあのぴにゅぴちゃLv.55はし辛くてまた突き固めるとすればあのもゆもゆLv.4は犇めき合わない fact7: あのみのみちゃLv.77はでっかくない ; $hypothesis$ = あのもゆもゆLv.4は犇めき合う ; $proof$ = 
fact2 -> int1: あのぴにゅぴちゃLv.55はし辛い; int1 & fact5 -> int2: あのぴにゅぴちゃLv.55はし辛いしさらにそれは突き固める; int2 & fact6 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis; __DISPROVED__