the parish is leafless if the uxor yields parish.
sent1: if something does yield parish and is a Pomolobus the fact that it is not leafless is not incorrect. sent2: the uxor either is capitalistic or is Congregational or both. sent3: the allies is Congregational or a shared or both. sent4: the uxor is capitalistic if the allies is a Pomolobus. sent5: the allies is a kind of a Pomolobus if the uxor is capitalistic. sent6: if the allies is not a Pomolobus then the uxor is a kind of a Pomolobus and/or it yields parish. sent7: the uxor is not non-capitalistic. sent8: if something yields parish and it is a Pomolobus then it is not Congregational. sent9: if the allies is leafless then the parish is Congregational. sent10: the parish is not Congregational if it is capitalistic and leafless. sent11: if the parish is Congregational then the allies is leafless. sent12: if the uxor is not Congregational then either the allies is Congregational or it is capitalistic or both. sent13: if the parish is a Pomolobus and it yields parish then it is not leafless. sent14: the uxor is a kind of a Pomolobus. sent15: if the parish is leafless a Pomolobus it is not Congregational. sent16: if the allies is capitalistic the parish is leafless. sent17: the parish is not capitalistic. sent18: the parish is leafless if the allies is Congregational.
void -> assump1: Let's assume that the fact that the uxor does not yield parish is wrong.; assump1 & sent14 -> int1: the uxor yields parish and it is a Pomolobus.; sent8 -> int2: if the uxor does yield parish and is a Pomolobus then it is not Congregational.; int1 & int2 -> int3: the uxor is not Congregational.; int3 & sent12 -> int4: the allies is Congregational and/or it is capitalistic.; int4 & sent18 & sent16 -> int5: that the parish is leafless hold.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the parish is leafless if the uxor yields parish. ; $context$ = sent1: if something does yield parish and is a Pomolobus the fact that it is not leafless is not incorrect. sent2: the uxor either is capitalistic or is Congregational or both. sent3: the allies is Congregational or a shared or both. sent4: the uxor is capitalistic if the allies is a Pomolobus. sent5: the allies is a kind of a Pomolobus if the uxor is capitalistic. sent6: if the allies is not a Pomolobus then the uxor is a kind of a Pomolobus and/or it yields parish. sent7: the uxor is not non-capitalistic. sent8: if something yields parish and it is a Pomolobus then it is not Congregational. sent9: if the allies is leafless then the parish is Congregational. sent10: the parish is not Congregational if it is capitalistic and leafless. sent11: if the parish is Congregational then the allies is leafless. sent12: if the uxor is not Congregational then either the allies is Congregational or it is capitalistic or both. sent13: if the parish is a Pomolobus and it yields parish then it is not leafless. sent14: the uxor is a kind of a Pomolobus. sent15: if the parish is leafless a Pomolobus it is not Congregational. sent16: if the allies is capitalistic the parish is leafless. sent17: the parish is not capitalistic. sent18: the parish is leafless if the allies is Congregational. ; $proof$ = 
void -> assump1: Let's assume that the fact that the uxor does not yield parish is wrong.; assump1 & sent14 -> int1: the uxor yields parish and it is a Pomolobus.; sent8 -> int2: if the uxor does yield parish and is a Pomolobus then it is not Congregational.; int1 & int2 -> int3: the uxor is not Congregational.; int3 & sent12 -> int4: the allies is Congregational and/or it is capitalistic.; int4 & sent18 & sent16 -> int5: that the parish is leafless hold.; [assump1] & int5 -> hypothesis; __PROVED__