あのみにょみちゅLv.58は変われる
fact1: そのまにまくLv.95は程良いかあるいは過不足無いかあるいは両方である fact2: もし「そのまにまくLv.95は程良い」ということは成り立つとするとこのぽわぽよLv.20は伴い易い fact3: もしそのまにまくLv.95が過不足無いならこのぽわぽよLv.20は伴い易い fact4: 仮にこのぽわぽよLv.20が伴い易いとするとあのみにょみちゅLv.58は変われる
fact1 & fact2 & fact3 -> int1: このぽわぽよLv.20は伴い易い; int1 & fact4 -> hypothesis;
fact1 & fact2 & fact3 -> int1: {C}{c}; int1 & fact4 -> hypothesis;
$facts$ = fact1: そのまにまくLv.95は程良いかあるいは過不足無いかあるいは両方である fact2: もし「そのまにまくLv.95は程良い」ということは成り立つとするとこのぽわぽよLv.20は伴い易い fact3: もしそのまにまくLv.95が過不足無いならこのぽわぽよLv.20は伴い易い fact4: 仮にこのぽわぽよLv.20が伴い易いとするとあのみにょみちゅLv.58は変われる ; $hypothesis$ = あのみにょみちゅLv.58は変われる ; $proof$ = 
fact1 & fact2 & fact3 -> int1: このぽわぽよLv.20は伴い易い; int1 & fact4 -> hypothesis; __PROVED__
fact1 & fact2 & fact3 -> int1: {C}{c}; int1 & fact4 -> hypothesis; __PROVED__