そのぽえぽちゃLv.68は利用し易くない
fact1: あのもやもやLv.25は怪しない fact2: そのぽえぽちゃLv.68は御見舞いする fact3: 「仮になにがしかのモンスターが怪しならばそれは答え難い」ということは正しい fact4: 仮にそのぽえぽちゃLv.68は怪ししおまけに御見舞いするならそれは利用し易くない fact5: そのぽえぽちゃLv.68は多し fact6: もしそのぽえぽちゃLv.68が多しならそれは怪し
fact6 & fact5 -> int1: そのぽえぽちゃLv.68は怪し; int1 & fact2 -> int2: そのぽえぽちゃLv.68は怪ししそれに御見舞いする; int2 & fact4 -> hypothesis;
fact6 & fact5 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> hypothesis;
もし仮に「そのぽえぽちゃLv.68は怪しない」ということは成り立たないならばそのぽえぽちゃLv.68は答え難い
fact7 -> hypothesis;
$facts$ = fact1: あのもやもやLv.25は怪しない fact2: そのぽえぽちゃLv.68は御見舞いする fact3: 「仮になにがしかのモンスターが怪しならばそれは答え難い」ということは正しい fact4: 仮にそのぽえぽちゃLv.68は怪ししおまけに御見舞いするならそれは利用し易くない fact5: そのぽえぽちゃLv.68は多し fact6: もしそのぽえぽちゃLv.68が多しならそれは怪し ; $hypothesis$ = そのぽえぽちゃLv.68は利用し易くない ; $proof$ = 
fact6 & fact5 -> int1: そのぽえぽちゃLv.68は怪し; int1 & fact2 -> int2: そのぽえぽちゃLv.68は怪ししそれに御見舞いする; int2 & fact4 -> hypothesis; __PROVED__
fact6 & fact5 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> hypothesis; __PROVED__