「このものもねLv.41はさもしい」ということは確かだ
fact1: もし仮にこのぽにぽちょLv.70が認め難いならばこのものもねLv.41はさもしい fact2: このぽにぽちょLv.70は選択し直すしそれは認め難い fact3: そのまにょまのLv.46は認め難い fact4: このぽにぽちょLv.70は選択し直す
fact2 -> int1: このぽにぽちょLv.70は認め難い; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にこのぽにぽちょLv.70が認め難いならばこのものもねLv.41はさもしい fact2: このぽにぽちょLv.70は選択し直すしそれは認め難い fact3: そのまにょまのLv.46は認め難い fact4: このぽにぽちょLv.70は選択し直す ; $hypothesis$ = 「このものもねLv.41はさもしい」ということは確かだ ; $proof$ = 
fact2 -> int1: このぽにぽちょLv.70は認め難い; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__