そのぷちょぷえLv.82は許し難い
fact1: 「そのぷちょぷえLv.82は喜ばしいが寄与すらない」ということは成り立たないとするとそれは許し難い fact2: 「そのぽくぽにょLv.71は御待たせするが育ち難くない」ということは嘘だ fact3: もしも「「御待たせする一方で育ち難くない」ということは成り立たない」モンスターがいるとしたらそのぷちょぷえLv.82は許し難くない
fact2 -> int1: 「「御待たせするしさらに育ち難くない」ということは成り立たない」モンスターはいる; int1 & fact3 -> hypothesis;
fact2 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact3 -> hypothesis;
そのぷちょぷえLv.82は許し難い
$facts$ = fact1: 「そのぷちょぷえLv.82は喜ばしいが寄与すらない」ということは成り立たないとするとそれは許し難い fact2: 「そのぽくぽにょLv.71は御待たせするが育ち難くない」ということは嘘だ fact3: もしも「「御待たせする一方で育ち難くない」ということは成り立たない」モンスターがいるとしたらそのぷちょぷえLv.82は許し難くない ; $hypothesis$ = そのぷちょぷえLv.82は許し難い ; $proof$ = 
fact2 -> int1: 「「御待たせするしさらに育ち難くない」ということは成り立たない」モンスターはいる; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact3 -> hypothesis; __DISPROVED__