「このぷちゃぷゆLv.86は御辛い」ということは正しい
fact1: もし仮に「あのぽちょぽいLv.66は倹しかないししかも鼻音化しない」ということは事実と異なるならこのぷちゃぷゆLv.86は管理し易い fact2: もし仮にこのぷにょぷいLv.92は鼻音化しないなら「このぷちゃぷゆLv.86は御辛くて狙い難い」ということは確かだ fact3: あるモンスターは御辛いとすると「狙い難い」ということは事実だ fact4: もし「このぷにょぷいLv.92は倹しいということはない」ということは成り立つとすると「このぷにょぷいLv.92は鼻音化しない」ということは成り立つ fact5: あのぽちょぽいLv.66は管理し易い fact6: もしも「あるモンスターは狙い難い」ということは真実だとすると「それは倹しかないしそれに鼻音化するということはない」ということは真実であるということはない fact7: あのぽちょぽいLv.66が取り難いかもしくはそれが管理し易いならばこのぷにょぷいLv.92は倹しかない fact8: もしなにがしかのモンスターが管理し易いとしたら取り難い
fact5 -> int1: あのぽちょぽいLv.66は取り難いかあるいは管理し易いか両方ともだ; int1 & fact7 -> int2: このぷにょぷいLv.92は倹しかない; int2 & fact4 -> int3: このぷにょぷいLv.92は鼻音化しない; int3 & fact2 -> int4: このぷちゃぷゆLv.86は御辛いし更にそれは狙い難い; int4 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact4 -> int3: ¬{D}{b}; int3 & fact2 -> int4: ({F}{c} & {E}{c}); int4 -> hypothesis;
このぷちゃぷゆLv.86は取り難い
fact12 -> int5: 仮にこのぷちゃぷゆLv.86が管理し易いならそれは取り難い; fact10 -> int6: もしもあのぽちょぽいLv.66は狙い難いならば「倹しかなくてまたそれは鼻音化しない」ということは正しいということはない; fact9 -> int7: もしあのぽちょぽいLv.66が御辛いとするとあのぽちょぽいLv.66は狙い難い;
$facts$ = fact1: もし仮に「あのぽちょぽいLv.66は倹しかないししかも鼻音化しない」ということは事実と異なるならこのぷちゃぷゆLv.86は管理し易い fact2: もし仮にこのぷにょぷいLv.92は鼻音化しないなら「このぷちゃぷゆLv.86は御辛くて狙い難い」ということは確かだ fact3: あるモンスターは御辛いとすると「狙い難い」ということは事実だ fact4: もし「このぷにょぷいLv.92は倹しいということはない」ということは成り立つとすると「このぷにょぷいLv.92は鼻音化しない」ということは成り立つ fact5: あのぽちょぽいLv.66は管理し易い fact6: もしも「あるモンスターは狙い難い」ということは真実だとすると「それは倹しかないしそれに鼻音化するということはない」ということは真実であるということはない fact7: あのぽちょぽいLv.66が取り難いかもしくはそれが管理し易いならばこのぷにょぷいLv.92は倹しかない fact8: もしなにがしかのモンスターが管理し易いとしたら取り難い ; $hypothesis$ = 「このぷちゃぷゆLv.86は御辛い」ということは正しい ; $proof$ = 
fact5 -> int1: あのぽちょぽいLv.66は取り難いかあるいは管理し易いか両方ともだ; int1 & fact7 -> int2: このぷにょぷいLv.92は倹しかない; int2 & fact4 -> int3: このぷにょぷいLv.92は鼻音化しない; int3 & fact2 -> int4: このぷちゃぷゆLv.86は御辛いし更にそれは狙い難い; int4 -> hypothesis; __PROVED__
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact4 -> int3: ¬{D}{b}; int3 & fact2 -> int4: ({F}{c} & {E}{c}); int4 -> hypothesis; __PROVED__