あのぷのぷなLv.1は散歩する
fact1: あのぽにぽちゅLv.61は渋い fact2: もしもあのぽにぽちゅLv.61がしゃあ無いとすればあのぷのぷなLv.1は認め難い fact3: もしもあのぷのぷなLv.1が認め難いならば散歩する fact4: あのぽにぽちゅLv.61は渋いしまたしゃあ無い fact5: あのぽにぽちゅLv.61はしゃあ無くないとするとあのみちょみちゃLv.33は散歩するしさらに渋い
fact4 -> int1: あのぽにぽちゅLv.61はしゃあ無い; int1 & fact2 -> int2: あのぷのぷなLv.1は認め難い; int2 & fact3 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
あのみちょみちゃLv.33は散歩する
$facts$ = fact1: あのぽにぽちゅLv.61は渋い fact2: もしもあのぽにぽちゅLv.61がしゃあ無いとすればあのぷのぷなLv.1は認め難い fact3: もしもあのぷのぷなLv.1が認め難いならば散歩する fact4: あのぽにぽちゅLv.61は渋いしまたしゃあ無い fact5: あのぽにぽちゅLv.61はしゃあ無くないとするとあのみちょみちゃLv.33は散歩するしさらに渋い ; $hypothesis$ = あのぷのぷなLv.1は散歩する ; $proof$ = 
fact4 -> int1: あのぽにぽちゅLv.61はしゃあ無い; int1 & fact2 -> int2: あのぷのぷなLv.1は認め難い; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__