there exists something such that either it is prodromal or it is a kind of a centrism or both.
sent1: the bestiality is not irreconcilable. sent2: if the bestiality is not irreconcilable then the fact that it is not psychogenic and it is a kind of a latest is wrong. sent3: the property is not albuminuric and it does not configure statistics. sent4: the autoloader does not configure statistics if either the radiogram does singe or it is a pay-phone or both. sent5: the sheepman is a kind of a centrism if the radiogram is not a pay-phone but it senses. sent6: that the autoloader does configure statistics is not false if the property is not albuminuric and does not configure statistics. sent7: if the fact that the bestiality is not psychogenic but it is latest does not hold then the fact that the radiogram does sense is not wrong.
void -> assump1: Let's assume that the radiogram is a pay-phone.; assump1 -> int1: the radiogram does singe and/or it is a pay-phone.; int1 & sent4 -> int2: the autoloader does not configure statistics.; sent6 & sent3 -> int3: the autoloader does configure statistics.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the radiogram is not a pay-phone.; sent2 & sent1 -> int6: that the bestiality is not psychogenic but a latest is incorrect.; sent7 & int6 -> int7: the radiogram does sense.; int5 & int7 -> int8: the radiogram is not a pay-phone but it does sense.; int8 & sent5 -> int9: the fact that the sheepman is a centrism hold.; int9 -> int10: the sheepman is prodromal and/or it is a kind of a centrism.; int10 -> hypothesis;
$hypothesis$ = there exists something such that either it is prodromal or it is a kind of a centrism or both. ; $context$ = sent1: the bestiality is not irreconcilable. sent2: if the bestiality is not irreconcilable then the fact that it is not psychogenic and it is a kind of a latest is wrong. sent3: the property is not albuminuric and it does not configure statistics. sent4: the autoloader does not configure statistics if either the radiogram does singe or it is a pay-phone or both. sent5: the sheepman is a kind of a centrism if the radiogram is not a pay-phone but it senses. sent6: that the autoloader does configure statistics is not false if the property is not albuminuric and does not configure statistics. sent7: if the fact that the bestiality is not psychogenic but it is latest does not hold then the fact that the radiogram does sense is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the radiogram is a pay-phone.; assump1 -> int1: the radiogram does singe and/or it is a pay-phone.; int1 & sent4 -> int2: the autoloader does not configure statistics.; sent6 & sent3 -> int3: the autoloader does configure statistics.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the radiogram is not a pay-phone.; sent2 & sent1 -> int6: that the bestiality is not psychogenic but a latest is incorrect.; sent7 & int6 -> int7: the radiogram does sense.; int5 & int7 -> int8: the radiogram is not a pay-phone but it does sense.; int8 & sent5 -> int9: the fact that the sheepman is a centrism hold.; int9 -> int10: the sheepman is prodromal and/or it is a kind of a centrism.; int10 -> hypothesis; __PROVED__