このもえもちゅLv.30は母親らしいということはない
fact1: 「このもえもちゅLv.30は切り難いしかつそれは反抗出来る」ということは偽だ fact2: もしもこのもえもちゅLv.30が思い易くないならば母親らしいししかも木らしい fact3: 「このもえもちゅLv.30は切り難いし更にそれは青黒い」ということは嘘だ fact4: 「このもえもちゅLv.30は切り難いが反抗出来ない」ということは誤りである fact5: 仮にあのぽやぽなLv.23が木らしいということはないとしたらそのぴくぴわLv.41は反抗出来ない fact6: 「このもえもちゅLv.30は御困るしその上忘れっぽい」ということは間違いだ fact7: 仮に「とあるモンスターは切り難いけど反抗出来るということはない」ということは成り立たないなら母親らしくない
fact7 -> int1: もし「このもえもちゅLv.30は切り難いがしかしそれは反抗出来るということはない」ということは間違いであるとするとこのもえもちゅLv.30は母親らしくない; int1 & fact4 -> hypothesis;
fact7 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> hypothesis;
「このもえもちゅLv.30は母親らしい」ということは成り立つ
$facts$ = fact1: 「このもえもちゅLv.30は切り難いしかつそれは反抗出来る」ということは偽だ fact2: もしもこのもえもちゅLv.30が思い易くないならば母親らしいししかも木らしい fact3: 「このもえもちゅLv.30は切り難いし更にそれは青黒い」ということは嘘だ fact4: 「このもえもちゅLv.30は切り難いが反抗出来ない」ということは誤りである fact5: 仮にあのぽやぽなLv.23が木らしいということはないとしたらそのぴくぴわLv.41は反抗出来ない fact6: 「このもえもちゅLv.30は御困るしその上忘れっぽい」ということは間違いだ fact7: 仮に「とあるモンスターは切り難いけど反抗出来るということはない」ということは成り立たないなら母親らしくない ; $hypothesis$ = このもえもちゅLv.30は母親らしいということはない ; $proof$ = 
fact7 -> int1: もし「このもえもちゅLv.30は切り難いがしかしそれは反抗出来るということはない」ということは間違いであるとするとこのもえもちゅLv.30は母親らしくない; int1 & fact4 -> hypothesis; __PROVED__
fact7 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> hypothesis; __PROVED__