そのみなみちょLv.63は図太い
fact1: このもわもにゅLv.35が罹患し易いとしたらあのまなまいLv.48は遣る瀬無い fact2: 仮にあのまなまいLv.48が遣る瀬無いならばそのみなみちょLv.63は図太い fact3: もしこのもわもにゅLv.35が固いとするとこのもわもにゅLv.35は罹患し易い fact4: そのみくみにょLv.94は上り易い fact5: このもわもにゅLv.35が危ないとすると固い fact6: もしもそのみくみにょLv.94は上り易いとすれば「このもわもにゅLv.35は危なくないがそれはし難い」ということは間違っている fact7: もしこのもわもにゅLv.35が上り易いとすればこのもわもにゅLv.35は危ない fact8: 仮にあるモンスターが固いなら図太くてそれは上り易くない fact9: もしも「このもわもにゅLv.35は危なくないけれどし難い」ということは成り立たないとすると固い fact10: もしそのみくみにょLv.94は上り易いとすれば「このもわもにゅLv.35は危なくておまけにし難い」ということは成り立たない fact11: 「このもわもにゅLv.35は危なくてし難い」ということは成り立たない
fact6 & fact4 -> int1: 「このもわもにゅLv.35は危なくないけどし難い」ということは誤りだ; int1 & fact9 -> int2: このもわもにゅLv.35は固い; int2 & fact3 -> int3: このもわもにゅLv.35は罹患し易い; int3 & fact1 -> int4: あのまなまいLv.48は遣る瀬無い; int4 & fact2 -> hypothesis;
fact6 & fact4 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact9 -> int2: {B}{b}; int2 & fact3 -> int3: {C}{b}; int3 & fact1 -> int4: {D}{c}; int4 & fact2 -> hypothesis;
そのみなみちょLv.63は図太くない
fact12 -> int5: そのみくみにょLv.94が固いならばそのみくみにょLv.94は図太いけれど上り易くない;
$facts$ = fact1: このもわもにゅLv.35が罹患し易いとしたらあのまなまいLv.48は遣る瀬無い fact2: 仮にあのまなまいLv.48が遣る瀬無いならばそのみなみちょLv.63は図太い fact3: もしこのもわもにゅLv.35が固いとするとこのもわもにゅLv.35は罹患し易い fact4: そのみくみにょLv.94は上り易い fact5: このもわもにゅLv.35が危ないとすると固い fact6: もしもそのみくみにょLv.94は上り易いとすれば「このもわもにゅLv.35は危なくないがそれはし難い」ということは間違っている fact7: もしこのもわもにゅLv.35が上り易いとすればこのもわもにゅLv.35は危ない fact8: 仮にあるモンスターが固いなら図太くてそれは上り易くない fact9: もしも「このもわもにゅLv.35は危なくないけれどし難い」ということは成り立たないとすると固い fact10: もしそのみくみにょLv.94は上り易いとすれば「このもわもにゅLv.35は危なくておまけにし難い」ということは成り立たない fact11: 「このもわもにゅLv.35は危なくてし難い」ということは成り立たない ; $hypothesis$ = そのみなみちょLv.63は図太い ; $proof$ = 
fact6 & fact4 -> int1: 「このもわもにゅLv.35は危なくないけどし難い」ということは誤りだ; int1 & fact9 -> int2: このもわもにゅLv.35は固い; int2 & fact3 -> int3: このもわもにゅLv.35は罹患し易い; int3 & fact1 -> int4: あのまなまいLv.48は遣る瀬無い; int4 & fact2 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact9 -> int2: {B}{b}; int2 & fact3 -> int3: {C}{b}; int3 & fact1 -> int4: {D}{c}; int4 & fact2 -> hypothesis; __PROVED__