あのまにょまちゅLv.33は成し難くない
fact1: もし疲労し易いモンスターは薄汚いとすれば「それは成し難くない」ということは偽であるということはない fact2: 「あのまにょまちゅLv.33は疲労し易いし薄汚い」ということは真実だ
fact1 -> int1: あのまにょまちゅLv.33が疲労し易くてまた薄汚いとするとあのまにょまちゅLv.33は成し難くない; int1 & fact2 -> hypothesis;
fact1 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis;
$facts$ = fact1: もし疲労し易いモンスターは薄汚いとすれば「それは成し難くない」ということは偽であるということはない fact2: 「あのまにょまちゅLv.33は疲労し易いし薄汚い」ということは真実だ ; $hypothesis$ = あのまにょまちゅLv.33は成し難くない ; $proof$ = 
fact1 -> int1: あのまにょまちゅLv.33が疲労し易くてまた薄汚いとするとあのまにょまちゅLv.33は成し難くない; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis; __PROVED__