「そのもゆもいLv.85はやんごとなくなくて通り易くない」ということは誤りだ
fact1: 「そのもゆもいLv.85はやんごとないが通り易くない」ということは誤りだ fact2: もし「「とあるモンスターは溜まり易くないがしかし総和する」ということは真実である」ということは成り立たないなら空しくない fact3: とあるモンスターは進め易いとすれば「それは溜まり易くないし総和する」ということは誤っている fact4: 「そのもゆもいLv.85は愛しないしその上それはやんごとないということはない」ということは事実と異なる
void -> assump1: 以下のように仮定する。そのもゆもいLv.85はやんごとないということはないしその上通り易くない; assump1 -> int1: そのもゆもいLv.85はやんごとなくない;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{A}{a};
以下のように仮定する。そのもゆもいLv.85はやんごとないということはないしその上通り易くない
fact5 -> int2: もしも「あのみにみわLv.74は溜まり易くない一方で総和する」ということは嘘であるとすればあのみにみわLv.74は空しくない; fact6 -> int3: あのみにみわLv.74は進め易いとすれば「溜まり易くないけれど総和する」ということは事実と異なる;
$facts$ = fact1: 「そのもゆもいLv.85はやんごとないが通り易くない」ということは誤りだ fact2: もし「「とあるモンスターは溜まり易くないがしかし総和する」ということは真実である」ということは成り立たないなら空しくない fact3: とあるモンスターは進め易いとすれば「それは溜まり易くないし総和する」ということは誤っている fact4: 「そのもゆもいLv.85は愛しないしその上それはやんごとないということはない」ということは事実と異なる ; $hypothesis$ = 「そのもゆもいLv.85はやんごとなくなくて通り易くない」ということは誤りだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__