そのまにゃまねLv.48は押さえ難くない
fact1: 仮にそのまにゃまねLv.48が押さえ難いとしたらそのまくまねLv.51は長ったらしい fact2: そのまくまねLv.51は押さえ難くない fact3: 仮に「そのまくまねLv.51は長ったらしい」ということは確かであるならばそれは答え易い fact4: もしも「なにがしかのモンスターは奥深いが恙無くない」ということは偽だとすると「餓鬼っぽいということはない」ということは本当である fact5: そのまにゃまねLv.48が答え易いということはないとしたらこのみにゃみよLv.90は押さえ難いし加えて長ったらしい fact6: そのまくまねLv.51は答え易いということはない fact7: もしもそのまくまねLv.51が餓鬼っぽいとするとそのまにゃまねLv.48は答え易くない一方で押さえ難い fact8: もし仮にそのまくまねLv.51が餓鬼っぽくないならばそのまにゃまねLv.48は答え易いし長ったらしい
void -> assump1: 以下のように仮定する。そのまにゃまねLv.48は押さえ難い; fact1 & assump1 -> int1: そのまくまねLv.51は長ったらしい; int1 & fact3 -> int2: そのまくまねLv.51は答え易い; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
このまちょまにゅLv.51は長ったらしくない
$facts$ = fact1: 仮にそのまにゃまねLv.48が押さえ難いとしたらそのまくまねLv.51は長ったらしい fact2: そのまくまねLv.51は押さえ難くない fact3: 仮に「そのまくまねLv.51は長ったらしい」ということは確かであるならばそれは答え易い fact4: もしも「なにがしかのモンスターは奥深いが恙無くない」ということは偽だとすると「餓鬼っぽいということはない」ということは本当である fact5: そのまにゃまねLv.48が答え易いということはないとしたらこのみにゃみよLv.90は押さえ難いし加えて長ったらしい fact6: そのまくまねLv.51は答え易いということはない fact7: もしもそのまくまねLv.51が餓鬼っぽいとするとそのまにゃまねLv.48は答え易くない一方で押さえ難い fact8: もし仮にそのまくまねLv.51が餓鬼っぽくないならばそのまにゃまねLv.48は答え易いし長ったらしい ; $hypothesis$ = そのまにゃまねLv.48は押さえ難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまにゃまねLv.48は押さえ難い; fact1 & assump1 -> int1: そのまくまねLv.51は長ったらしい; int1 & fact3 -> int2: そのまくまねLv.51は答え易い; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__