このぷくぷわLv.23は堪え難いということはない
fact1: あのみわみにゃLv.0は尽くし難いし打ち続く fact2: そのぷにょぷなLv.48は御受け致す fact3: そのぷにょぷなLv.48が打ち続くし更にそれが御受け致すとするとこのぷくぷわLv.23は堪え難いということはない fact4: 「そのぷにょぷなLv.48は打ち続く」ということは確かだ fact5: そのぷにょぷなLv.48は堪え難い
fact4 & fact2 -> int1: 「そのぷにょぷなLv.48は打ち続くしかつ御受け致す」ということは真実である; int1 & fact3 -> hypothesis;
fact4 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> hypothesis;
$facts$ = fact1: あのみわみにゃLv.0は尽くし難いし打ち続く fact2: そのぷにょぷなLv.48は御受け致す fact3: そのぷにょぷなLv.48が打ち続くし更にそれが御受け致すとするとこのぷくぷわLv.23は堪え難いということはない fact4: 「そのぷにょぷなLv.48は打ち続く」ということは確かだ fact5: そのぷにょぷなLv.48は堪え難い ; $hypothesis$ = このぷくぷわLv.23は堪え難いということはない ; $proof$ = 
fact4 & fact2 -> int1: 「そのぷにょぷなLv.48は打ち続くしかつ御受け致す」ということは真実である; int1 & fact3 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> hypothesis; __PROVED__