「うざいし忙しない」モンスターはいる
fact1: 「あるモンスターは好ましかまたは早しない」ということは成り立たないとしたら忙しない fact2: このもえもにLv.87はうざい fact3: 忙しないモンスターはいる fact4: 「そのぴのぴにゅLv.11は好ましかまたはそれは早しないかまたはどちらもだ」ということは成り立たない fact5: そのぴのぴにゅLv.11は日本人らしいしそれは誤解され易い fact6: そのぴのぴにゅLv.11は好ましない fact7: そのぴのぴにゅLv.11はうざい fact8: 「うざい」モンスターはいる
fact1 -> int1: もし仮に「そのぴのぴにゅLv.11は好ましかそれは早しないか両方だ」ということは誤りであるならばそのぴのぴにゅLv.11は忙しない; int1 & fact4 -> int2: そのぴのぴにゅLv.11は忙しない; int2 & fact7 -> int3: そのぴのぴにゅLv.11はうざいしおまけに忙しない; int3 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact7 -> int3: ({A}{aa} & {B}{aa}); int3 -> hypothesis;
$facts$ = fact1: 「あるモンスターは好ましかまたは早しない」ということは成り立たないとしたら忙しない fact2: このもえもにLv.87はうざい fact3: 忙しないモンスターはいる fact4: 「そのぴのぴにゅLv.11は好ましかまたはそれは早しないかまたはどちらもだ」ということは成り立たない fact5: そのぴのぴにゅLv.11は日本人らしいしそれは誤解され易い fact6: そのぴのぴにゅLv.11は好ましない fact7: そのぴのぴにゅLv.11はうざい fact8: 「うざい」モンスターはいる ; $hypothesis$ = 「うざいし忙しない」モンスターはいる ; $proof$ = 
fact1 -> int1: もし仮に「そのぴのぴにゅLv.11は好ましかそれは早しないか両方だ」ということは誤りであるならばそのぴのぴにゅLv.11は忙しない; int1 & fact4 -> int2: そのぴのぴにゅLv.11は忙しない; int2 & fact7 -> int3: そのぴのぴにゅLv.11はうざいしおまけに忙しない; int3 -> hypothesis; __PROVED__
fact1 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact7 -> int3: ({A}{aa} & {B}{aa}); int3 -> hypothesis; __PROVED__