そのみのみにゅLv.82は悪戯っぽくないしその上らりるということはない
fact1: 仮にそのぴえぴよLv.34が寂しいとすればそのみのみにゅLv.82は悪戯っぽいということはないしそれはらりるない fact2: もし仮に「「寂しい」ということは成り立つということはない」モンスターがいればそのぴえぴよLv.34はらりるない fact3: 「そのみのみにゅLv.82は悪戯っぽいということはないがらりる」ということは成り立つということはない fact4: もしもとあるモンスターが投与開始しないとすればそれは与え易くないけど寂しい fact5: 「寂しい」モンスターはいる fact6: 仮にあのまのまゆLv.96が与え易くないがそれが寂しいとするとそのぴえぴよLv.34は寂しい fact7: 「何らかのモンスターは寂しくない」ということは成り立つ
fact7 & fact2 -> int1: そのぴえぴよLv.34はらりるない;
fact7 & fact2 -> int1: ¬{B}{a};
そのみのみにゅLv.82は悪戯っぽくないしその上らりるということはない
fact9 -> int2: あのまのまゆLv.96が投与開始しないとすればあのまのまゆLv.96は与え易いということはないけどそれは寂しい;
$facts$ = fact1: 仮にそのぴえぴよLv.34が寂しいとすればそのみのみにゅLv.82は悪戯っぽいということはないしそれはらりるない fact2: もし仮に「「寂しい」ということは成り立つということはない」モンスターがいればそのぴえぴよLv.34はらりるない fact3: 「そのみのみにゅLv.82は悪戯っぽいということはないがらりる」ということは成り立つということはない fact4: もしもとあるモンスターが投与開始しないとすればそれは与え易くないけど寂しい fact5: 「寂しい」モンスターはいる fact6: 仮にあのまのまゆLv.96が与え易くないがそれが寂しいとするとそのぴえぴよLv.34は寂しい fact7: 「何らかのモンスターは寂しくない」ということは成り立つ ; $hypothesis$ = そのみのみにゅLv.82は悪戯っぽくないしその上らりるということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__