あのぽなぽにょLv.28は印象深い
fact1: 仮に「あのぽなぽにょLv.28は読み難い」ということは成り立てば印象深い fact2: もしもあのぽなぽにょLv.28が馬鹿馬鹿しいなら読み難い fact3: あのぽなぽにょLv.28は読み難くておまけに下ろし易い fact4: 「華々しいモンスターは下ろし易い」ということは成り立つ fact5: あのぽちゃぽのLv.71は下ろし易いしかつ華々しい
fact3 -> int1: あのぽなぽにょLv.28は読み難い; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
あのぽちゃぽのLv.71は交えるしそれは印象深い
fact6 -> int2: あのぽちゃぽのLv.71は下ろし易い;
$facts$ = fact1: 仮に「あのぽなぽにょLv.28は読み難い」ということは成り立てば印象深い fact2: もしもあのぽなぽにょLv.28が馬鹿馬鹿しいなら読み難い fact3: あのぽなぽにょLv.28は読み難くておまけに下ろし易い fact4: 「華々しいモンスターは下ろし易い」ということは成り立つ fact5: あのぽちゃぽのLv.71は下ろし易いしかつ華々しい ; $hypothesis$ = あのぽなぽにょLv.28は印象深い ; $proof$ = 
fact3 -> int1: あのぽなぽにょLv.28は読み難い; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__