みにゃみにLv.66事件が生じる
fact1: 告訴することおよびひもじいということが生じる fact2: 「怖ーいということは発生しないかあるいは告訴することは起きないかまたはどちらもである」ということは成り立つということはないとしたらみにゃみにLv.66事件が起きる fact3: もしも告訴することが生じるとすると「怖ーいということは発生しないかもしくは告訴することは生じないかどちらもだ」ということは誤っている
fact1 -> int1: 告訴することが生じる; int1 & fact3 -> int2: 「怖ーいということは発生しないかあるいは告訴することは起こらない」ということは間違っている; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> int2: ¬(¬{D} v ¬{A}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 告訴することおよびひもじいということが生じる fact2: 「怖ーいということは発生しないかあるいは告訴することは起きないかまたはどちらもである」ということは成り立つということはないとしたらみにゃみにLv.66事件が起きる fact3: もしも告訴することが生じるとすると「怖ーいということは発生しないかもしくは告訴することは生じないかどちらもだ」ということは誤っている ; $hypothesis$ = みにゃみにLv.66事件が生じる ; $proof$ = 
fact1 -> int1: 告訴することが生じる; int1 & fact3 -> int2: 「怖ーいということは発生しないかあるいは告訴することは起こらない」ということは間違っている; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact3 -> int2: ¬(¬{D} v ¬{A}); int2 & fact2 -> hypothesis; __PROVED__