そのみなみなLv.80は迷い難くない
fact1: もし「そのみなみなLv.80はどぎつかないし掛かり難いない」ということは誤りであるとすれば「迷い難いということはない」ということは事実だ fact2: そのみなみなLv.80が利口振るとしたらそのみなみなLv.80は分散局在しないかまたはそれはめでたくない fact3: もしあのぽよぽにゅLv.19が及び難くないとすればそのみなみなLv.80は迷い難い fact4: どぎついモンスターは少なくないかもしくは迷い難くないか両方ともだ fact5: もしも「そのみなみなLv.80はどぎついということはない」ということは事実であるとすれば「あのぽよぽにゅLv.19は迷い難い」ということは真実である fact6: あのぽよぽにゅLv.19はどぎつい fact7: もしもなんらかのモンスターがどぎついとしたら少なくないかもしくはそれは及び難くない fact8: もし仮にあのぽよぽにゅLv.19が少ないということはないならばそのみなみなLv.80は迷い難い
fact7 -> int1: 「あのぽよぽにゅLv.19はどぎつい」ということは本当であるとしたらあのぽよぽにゅLv.19は少なくないかあるいはそれは及び難くない; int1 & fact6 -> int2: あのぽよぽにゅLv.19は少なくないかあるいは及び難くないかもしくは両方ともだ; int2 & fact8 & fact3 -> hypothesis;
fact7 -> int1: {A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 & fact6 -> int2: (¬{AA}{aa} v ¬{AB}{aa}); int2 & fact8 & fact3 -> hypothesis;
そのみなみなLv.80は迷い難くない
$facts$ = fact1: もし「そのみなみなLv.80はどぎつかないし掛かり難いない」ということは誤りであるとすれば「迷い難いということはない」ということは事実だ fact2: そのみなみなLv.80が利口振るとしたらそのみなみなLv.80は分散局在しないかまたはそれはめでたくない fact3: もしあのぽよぽにゅLv.19が及び難くないとすればそのみなみなLv.80は迷い難い fact4: どぎついモンスターは少なくないかもしくは迷い難くないか両方ともだ fact5: もしも「そのみなみなLv.80はどぎついということはない」ということは事実であるとすれば「あのぽよぽにゅLv.19は迷い難い」ということは真実である fact6: あのぽよぽにゅLv.19はどぎつい fact7: もしもなんらかのモンスターがどぎついとしたら少なくないかもしくはそれは及び難くない fact8: もし仮にあのぽよぽにゅLv.19が少ないということはないならばそのみなみなLv.80は迷い難い ; $hypothesis$ = そのみなみなLv.80は迷い難くない ; $proof$ = 
fact7 -> int1: 「あのぽよぽにゅLv.19はどぎつい」ということは本当であるとしたらあのぽよぽにゅLv.19は少なくないかあるいはそれは及び難くない; int1 & fact6 -> int2: あのぽよぽにゅLv.19は少なくないかあるいは及び難くないかもしくは両方ともだ; int2 & fact8 & fact3 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 & fact6 -> int2: (¬{AA}{aa} v ¬{AB}{aa}); int2 & fact8 & fact3 -> hypothesis; __DISPROVED__