あのみにみにょLv.74は告知するということはないけれどそれは燃え易い
fact1: 紛らわしいモンスターは怖ーくない fact2: 「もしもあのみにみにょLv.74は紛らわしくないとすれば「あのみにみにょLv.74は告知しないけれど燃え易い」ということは事実でない」ということは本当である fact3: もしもあのみにみにょLv.74が紛らわしいとするとこのぽにょぽにゃLv.87は怖ーいということはない fact4: もしこのみにゅみねLv.85が喜ばしくないならばこのみにゅみねLv.85は告知しないけど餓鬼っぽい fact5: あのみにみにょLv.74は紛らわしくないならば「あのみにみにょLv.74は告知するしさらに燃え易い」ということは成り立たない fact6: このぽにょぽにゃLv.87は怖ーい
void -> assump1: 以下のように仮定する。あのみにみにょLv.74は紛らわしい; fact3 & assump1 -> int1: 「このぽにょぽにゃLv.87は怖ーくない」ということは真実だ; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのみにみにょLv.74は紛らわしくない; int3 & fact2 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: ¬{B}{b}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis;
このみにゅみねLv.85は怖ーくない
fact8 -> int4: もしこのみにゅみねLv.85が紛らわしいとすればそれは怖ーくない;
$facts$ = fact1: 紛らわしいモンスターは怖ーくない fact2: 「もしもあのみにみにょLv.74は紛らわしくないとすれば「あのみにみにょLv.74は告知しないけれど燃え易い」ということは事実でない」ということは本当である fact3: もしもあのみにみにょLv.74が紛らわしいとするとこのぽにょぽにゃLv.87は怖ーいということはない fact4: もしこのみにゅみねLv.85が喜ばしくないならばこのみにゅみねLv.85は告知しないけど餓鬼っぽい fact5: あのみにみにょLv.74は紛らわしくないならば「あのみにみにょLv.74は告知するしさらに燃え易い」ということは成り立たない fact6: このぽにょぽにゃLv.87は怖ーい ; $hypothesis$ = あのみにみにょLv.74は告知するということはないけれどそれは燃え易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのみにみにょLv.74は紛らわしい; fact3 & assump1 -> int1: 「このぽにょぽにゃLv.87は怖ーくない」ということは真実だ; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのみにみにょLv.74は紛らわしくない; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: ¬{B}{b}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis; __DISPROVED__