そのぴやぴなLv.45は数倍するしそれに想定し難い
fact1: もし「なんらかのモンスターは知行するということはない」ということは成り立つとすると母親らしいということはないしおまけに固いということはない fact2: あのぷにゅぷわLv.58は復活出来ない fact3: もし仮にあのぷねぷねLv.23が知行しないかもしくは減免しないか両方だとすればあのぷにゅぷわLv.58は知行するということはない fact4: そのぴやぴなLv.45は想定し難い fact5: もしあのぷねぷねLv.23が換金しないか当たり難いか両方ともであるとしたら「そのぴやぴなLv.45は数倍する」ということは成り立つ fact6: あのぷにゅぷわLv.58が復活出来ないとしたらあのぷねぷねLv.23は換金しないかまたは当たり難い fact7: 仮にあのぷねぷねLv.23が分かり易くないなら知行しないか減免しないかまたはどちらもだ fact8: とあるモンスターは復活出来ないとすれば「それは数倍するし加えてそれは想定し難い」ということは成り立たない fact9: もしも母親らしくないモンスターは固くないなら「復活出来ない」ということは本当だ
fact6 & fact2 -> int1: 「あのぷねぷねLv.23は換金しないかあるいは当たり難いかまたはどちらもだ」ということは事実だ; int1 & fact5 -> int2: そのぴやぴなLv.45は数倍する; int2 & fact4 -> hypothesis;
fact6 & fact2 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact5 -> int2: {B}{c}; int2 & fact4 -> hypothesis;
「そのぴやぴなLv.45は数倍するしそれは想定し難い」ということは嘘である
fact13 -> int3: そのぴやぴなLv.45は復活出来ないなら「それは数倍するしそれは想定し難い」ということは成り立たない; fact14 -> int4: もしそのぴやぴなLv.45は母親らしくないしその上固くないなら復活出来ない; fact10 -> int5: もし仮にそのぴやぴなLv.45が知行しないとしたらそのぴやぴなLv.45は母親らしいということはないしそれにそれは固いということはない;
$facts$ = fact1: もし「なんらかのモンスターは知行するということはない」ということは成り立つとすると母親らしいということはないしおまけに固いということはない fact2: あのぷにゅぷわLv.58は復活出来ない fact3: もし仮にあのぷねぷねLv.23が知行しないかもしくは減免しないか両方だとすればあのぷにゅぷわLv.58は知行するということはない fact4: そのぴやぴなLv.45は想定し難い fact5: もしあのぷねぷねLv.23が換金しないか当たり難いか両方ともであるとしたら「そのぴやぴなLv.45は数倍する」ということは成り立つ fact6: あのぷにゅぷわLv.58が復活出来ないとしたらあのぷねぷねLv.23は換金しないかまたは当たり難い fact7: 仮にあのぷねぷねLv.23が分かり易くないなら知行しないか減免しないかまたはどちらもだ fact8: とあるモンスターは復活出来ないとすれば「それは数倍するし加えてそれは想定し難い」ということは成り立たない fact9: もしも母親らしくないモンスターは固くないなら「復活出来ない」ということは本当だ ; $hypothesis$ = そのぴやぴなLv.45は数倍するしそれに想定し難い ; $proof$ = 
fact6 & fact2 -> int1: 「あのぷねぷねLv.23は換金しないかあるいは当たり難いかまたはどちらもだ」ということは事実だ; int1 & fact5 -> int2: そのぴやぴなLv.45は数倍する; int2 & fact4 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact5 -> int2: {B}{c}; int2 & fact4 -> hypothesis; __PROVED__