このぽにぽちょLv.77は無声化し易くない
fact1: 「このぴやぴやLv.99は慎ましくない」ということは事実なら避け難いけど無声化し易くない fact2: このぴやぴやLv.99は慎ましいしさらに現像する fact3: もしもこのぽにぽちょLv.77が無声化し易いということはないならばそのみねみちょLv.39は残り易くて更に薄っぺらい fact4: 仮にこのぽにぽちょLv.77が残り易いならばこのぽにぽちょLv.77は無声化し易い fact5: このぽにぽちょLv.77は薄っぺらいしそれに残り易い fact6: あるモンスターは慎ましいとすれば「避け難い」ということは正しい
fact5 -> int1: このぽにぽちょLv.77は残り易い; int1 & fact4 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
そのみねみちょLv.39は残り易い
$facts$ = fact1: 「このぴやぴやLv.99は慎ましくない」ということは事実なら避け難いけど無声化し易くない fact2: このぴやぴやLv.99は慎ましいしさらに現像する fact3: もしもこのぽにぽちょLv.77が無声化し易いということはないならばそのみねみちょLv.39は残り易くて更に薄っぺらい fact4: 仮にこのぽにぽちょLv.77が残り易いならばこのぽにぽちょLv.77は無声化し易い fact5: このぽにぽちょLv.77は薄っぺらいしそれに残り易い fact6: あるモンスターは慎ましいとすれば「避け難い」ということは正しい ; $hypothesis$ = このぽにぽちょLv.77は無声化し易くない ; $proof$ = 
fact5 -> int1: このぽにぽちょLv.77は残り易い; int1 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}{a}; int1 & fact4 -> hypothesis; __DISPROVED__