そのみちょみゆLv.25は発揮し難くなくて探し易くない
fact1: そのみちょみゆLv.25は増え続ける fact2: 仮に「そのもゆもにょLv.91は難い」ということは嘘でないとしたら「甘ったるくないしそれは新しない」ということは間違いである fact3: そのまねまにLv.21が間近いし増え続けるとするとこのぴなぴわLv.78は増え続けるということはない fact4: 「仮にこのぴなぴわLv.78は増え続けないとすれば「そのみちょみゆLv.25は発揮し難くないしそれは探し易いということはない」ということは確かだ」ということは正しい fact5: もし仮にそのみちょみゆLv.25は増え続けるなら「発揮し難いということはなくてまたそれは探し易くない」ということは事実と異なる
fact1 -> int1: そのみちょみゆLv.25は増え続ける; int1 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
そのみちょみゆLv.25は発揮し難くなくて探し易くない
$facts$ = fact1: そのみちょみゆLv.25は増え続ける fact2: 仮に「そのもゆもにょLv.91は難い」ということは嘘でないとしたら「甘ったるくないしそれは新しない」ということは間違いである fact3: そのまねまにLv.21が間近いし増え続けるとするとこのぴなぴわLv.78は増え続けるということはない fact4: 「仮にこのぴなぴわLv.78は増え続けないとすれば「そのみちょみゆLv.25は発揮し難くないしそれは探し易いということはない」ということは確かだ」ということは正しい fact5: もし仮にそのみちょみゆLv.25は増え続けるなら「発揮し難いということはなくてまたそれは探し易くない」ということは事実と異なる ; $hypothesis$ = そのみちょみゆLv.25は発揮し難くなくて探し易くない ; $proof$ = 
fact1 -> int1: そのみちょみゆLv.25は増え続ける; int1 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __DISPROVED__