either the pearlfish is androgenetic or it is a 1850s or both.
sent1: the vice-regent is a Solresol or a pyramid or both if there are non-patronymic things. sent2: if something that is Episcopal is a kind of a Solresol it is not Baltic. sent3: the fact that the inclination is not non-patronymic if the Son is a songbird is correct. sent4: the fact that the inclination is not a kind of a songbird is true if it is a smog and unhappy. sent5: if that the vice-regent is androgenetic is true then the pearlfish is a pyramid. sent6: the inclination is a songbird if the Son is patronymic. sent7: the inclination is a kind of a smog and it is unhappy. sent8: if the vice-regent pyramids then the pearlfish is androgenetic. sent9: the inclination is a smog.
void -> assump1: Let's assume that the Son is a patronymic.; sent6 & assump1 -> int1: the inclination is a songbird.; sent4 & sent7 -> int2: the inclination is not a songbird.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Son is not a kind of a patronymic.; int4 -> int5: there exists something such that it is not a kind of a patronymic.; int5 & sent1 -> int6: the vice-regent is a Solresol and/or it does pyramid.;
the pearlfish is not a kind of a Baltic if it is Episcopal thing that is a kind of a Solresol.
sent2 -> hypothesis;
$hypothesis$ = either the pearlfish is androgenetic or it is a 1850s or both. ; $context$ = sent1: the vice-regent is a Solresol or a pyramid or both if there are non-patronymic things. sent2: if something that is Episcopal is a kind of a Solresol it is not Baltic. sent3: the fact that the inclination is not non-patronymic if the Son is a songbird is correct. sent4: the fact that the inclination is not a kind of a songbird is true if it is a smog and unhappy. sent5: if that the vice-regent is androgenetic is true then the pearlfish is a pyramid. sent6: the inclination is a songbird if the Son is patronymic. sent7: the inclination is a kind of a smog and it is unhappy. sent8: if the vice-regent pyramids then the pearlfish is androgenetic. sent9: the inclination is a smog. ; $proof$ = 
void -> assump1: Let's assume that the Son is a patronymic.; sent6 & assump1 -> int1: the inclination is a songbird.; sent4 & sent7 -> int2: the inclination is not a songbird.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Son is not a kind of a patronymic.; int4 -> int5: there exists something such that it is not a kind of a patronymic.; int5 & sent1 -> int6: the vice-regent is a Solresol and/or it does pyramid.; __UNKNOWN__