そのぽよぽにゃLv.19は四苦八苦する
fact1: 仮にそのぽよぽにゃLv.19が其れっぽいとするとそのぽよぽにゃLv.19は由々し fact2: もしもそのぽよぽにゃLv.19は由々しとすると「それは四苦八苦する」ということは成り立つ fact3: そのぽよぽにゃLv.19は由々し fact4: そのぽよぽにゃLv.19は弾き易い
fact3 -> int1: そのぽよぽにゃLv.19は由々し; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 仮にそのぽよぽにゃLv.19が其れっぽいとするとそのぽよぽにゃLv.19は由々し fact2: もしもそのぽよぽにゃLv.19は由々しとすると「それは四苦八苦する」ということは成り立つ fact3: そのぽよぽにゃLv.19は由々し fact4: そのぽよぽにゃLv.19は弾き易い ; $hypothesis$ = そのぽよぽにゃLv.19は四苦八苦する ; $proof$ = 
fact3 -> int1: そのぽよぽにゃLv.19は由々し; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__