以下のように仮定する。「そのぷにゃぷのLv.77は涙ぐましいけれど判別し難くない」ということは成り立たない
fact1: 何らかのモンスターは勝ち易くないならば「涙ぐましくてかつそれは判別し難いということはない」ということは誤りである fact2: もしも「とあるモンスターは涙ぐましいけれど判別し難いということはない」ということは成り立たないとすれば現われ難くない fact3: このもにょもねLv.53は判別し難くない
fact2 -> int1: もしも「そのぷにゃぷのLv.77は涙ぐましいけど判別し難くない」ということは成り立たないとしたら現われ難くない; void -> assump1: 以下のように仮定する。「そのぷにゃぷのLv.77は涙ぐましいけれど判別し難くない」ということは成り立たない; int1 & assump1 -> int2: そのぷにゃぷのLv.77は現われ難いということはない;
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa};
以下のように仮定する。「そのぷにゃぷのLv.77は涙ぐましいけれど判別し難くない」ということは成り立たない
fact4 -> int3: もしそのぷにゃぷのLv.77は勝ち易くないとすると「それは涙ぐましくて判別し難くない」ということは間違いである;
$facts$ = fact1: 何らかのモンスターは勝ち易くないならば「涙ぐましくてかつそれは判別し難いということはない」ということは誤りである fact2: もしも「とあるモンスターは涙ぐましいけれど判別し難いということはない」ということは成り立たないとすれば現われ難くない fact3: このもにょもねLv.53は判別し難くない ; $hypothesis$ = 以下のように仮定する。「そのぷにゃぷのLv.77は涙ぐましいけれど判別し難くない」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__