このみにゃみねLv.85はきょとんとする
fact1: このみちゃみゆLv.4は言う fact2: もし仮にそのぷねぷにょLv.96は成り難いとしたら「このみちゃみゆLv.4は起こし難くないかもしくは来し易くないか両方だ」ということは事実でない fact3: もし仮にこのぴやぴにLv.68が言うとすればこのみにゃみねLv.85はきょとんとする fact4: 仮に「このみちゃみゆLv.4は起こし難くないかそれは来し易くないかあるいはどちらもだ」ということは偽ならば「このぴやぴにLv.68は言う」ということは事実である fact5: あるモンスターが言うしさらに成り難いとすればそれはきょとんとしない fact6: そのぷねぷにょLv.96は成り難い fact7: 「このみにゃみねLv.85は及び難い」ということは本当であるなら「言う」ということは確かである
fact2 & fact6 -> int1: 「このみちゃみゆLv.4は起こし難くないかまたは来し易くないかあるいは両方である」ということは誤っている; int1 & fact4 -> int2: このぴやぴにLv.68は言う; int2 & fact3 -> hypothesis;
fact2 & fact6 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact4 -> int2: {B}{c}; int2 & fact3 -> hypothesis;
このみにゃみねLv.85はきょとんとしない
fact9 -> int3: 仮にこのみにゃみねLv.85が言うし成り難いならばこのみにゃみねLv.85はきょとんとするということはない;
$facts$ = fact1: このみちゃみゆLv.4は言う fact2: もし仮にそのぷねぷにょLv.96は成り難いとしたら「このみちゃみゆLv.4は起こし難くないかもしくは来し易くないか両方だ」ということは事実でない fact3: もし仮にこのぴやぴにLv.68が言うとすればこのみにゃみねLv.85はきょとんとする fact4: 仮に「このみちゃみゆLv.4は起こし難くないかそれは来し易くないかあるいはどちらもだ」ということは偽ならば「このぴやぴにLv.68は言う」ということは事実である fact5: あるモンスターが言うしさらに成り難いとすればそれはきょとんとしない fact6: そのぷねぷにょLv.96は成り難い fact7: 「このみにゃみねLv.85は及び難い」ということは本当であるなら「言う」ということは確かである ; $hypothesis$ = このみにゃみねLv.85はきょとんとする ; $proof$ = 
fact2 & fact6 -> int1: 「このみちゃみゆLv.4は起こし難くないかまたは来し易くないかあるいは両方である」ということは誤っている; int1 & fact4 -> int2: このぴやぴにLv.68は言う; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact6 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact4 -> int2: {B}{c}; int2 & fact3 -> hypothesis; __PROVED__