あのぽにぽえLv.33はむくつけしが冷た過ぎるということはない
fact1: もしあのぴにゃぴちょLv.17が情け深くないならそれは親し fact2: もしあのぴにゃぴちょLv.17が親しとするとあのぽにぽえLv.33はむくつけし fact3: あのぴにゃぴちょLv.17は情け深くない fact4: あのぽにぽえLv.33は冷た過ぎない
fact1 & fact3 -> int1: あのぴにゃぴちょLv.17は親し; int1 & fact2 -> int2: あのぽにぽえLv.33はむくつけし; int2 & fact4 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もしあのぴにゃぴちょLv.17が情け深くないならそれは親し fact2: もしあのぴにゃぴちょLv.17が親しとするとあのぽにぽえLv.33はむくつけし fact3: あのぴにゃぴちょLv.17は情け深くない fact4: あのぽにぽえLv.33は冷た過ぎない ; $hypothesis$ = あのぽにぽえLv.33はむくつけしが冷た過ぎるということはない ; $proof$ = 
fact1 & fact3 -> int1: あのぴにゃぴちょLv.17は親し; int1 & fact2 -> int2: あのぽにぽえLv.33はむくつけし; int2 & fact4 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __PROVED__