「あのもよもえLv.82は落ち易いし更に入れ難い」ということは確かでない
fact1: もし「あるモンスターは出来難くないか著しいかもしくは両方ともだ」ということは事実と異なるとすれば「落ち易くない」ということは事実である fact2: もし「「除隊するし苦い」ということは間違っている」モンスターがいるとすればあのもよもえLv.82は著しい fact3: 仮に「そのぽにぽなLv.79は出来難くない」ということは成り立つとすれば「そのぷいぷちゃLv.13は除隊するしそれは苦い」ということは成り立たない fact4: そのぽにぽなLv.79は出来難くない fact5: 「あのもよもえLv.82は入れ難いということはない」ということは間違っている
fact3 & fact4 -> int1: 「そのぷいぷちゃLv.13は除隊するししかも苦い」ということは成り立たない; int1 -> int2: 「「除隊するし苦い」ということは成り立つということはない」モンスターはいる; int2 & fact2 -> int3: 「あのもよもえLv.82は著しい」ということは成り立つ;
fact3 & fact4 -> int1: ¬({AA}{b} & {AB}{b}); int1 -> int2: (Ex): ¬({AA}x & {AB}x); int2 & fact2 -> int3: {B}{c};
「あのもよもえLv.82は落ち易いし更に入れ難い」ということは確かでない
fact6 -> int4: もし仮に「「そのぽにぽなLv.79は出来難いということはないかまたは著しいかあるいは両方だ」ということは成り立つ」ということは成り立たないとすればそれは落ち易くない;
$facts$ = fact1: もし「あるモンスターは出来難くないか著しいかもしくは両方ともだ」ということは事実と異なるとすれば「落ち易くない」ということは事実である fact2: もし「「除隊するし苦い」ということは間違っている」モンスターがいるとすればあのもよもえLv.82は著しい fact3: 仮に「そのぽにぽなLv.79は出来難くない」ということは成り立つとすれば「そのぷいぷちゃLv.13は除隊するしそれは苦い」ということは成り立たない fact4: そのぽにぽなLv.79は出来難くない fact5: 「あのもよもえLv.82は入れ難いということはない」ということは間違っている ; $hypothesis$ = 「あのもよもえLv.82は落ち易いし更に入れ難い」ということは確かでない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__