あのみにょみわLv.41は見難いかまたは見窄らしい
fact1: このぴのぴにょLv.77はきもいしさらに儚し fact2: このぴのぴにょLv.77が儚しとするとあのみにょみわLv.41は見窄らしい
fact1 -> int1: このぴのぴにょLv.77は儚し; int1 & fact2 -> int2: 「あのみにょみわLv.41は見窄らしい」ということは成り立つ; int2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 -> hypothesis;
$facts$ = fact1: このぴのぴにょLv.77はきもいしさらに儚し fact2: このぴのぴにょLv.77が儚しとするとあのみにょみわLv.41は見窄らしい ; $hypothesis$ = あのみにょみわLv.41は見難いかまたは見窄らしい ; $proof$ = 
fact1 -> int1: このぴのぴにょLv.77は儚し; int1 & fact2 -> int2: 「あのみにょみわLv.41は見窄らしい」ということは成り立つ; int2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 -> hypothesis; __PROVED__