the Drixoral is not a kind of a rowanberry and is not a kind of a doughnut.
sent1: if that the syphilitic is a kind of a banneret that is not a doughnut does not hold the heteroploid is not a rowanberry. sent2: if that the Drixoral is a downtown and a burning is not right it is not a rowanberry. sent3: the Drixoral is not a doughnut. sent4: if something is not a kind of a downtown then the fact that it is not a rowanberry and is not a doughnut is incorrect. sent5: the sertularian is not considerable and/or it is not phyllodial. sent6: that the sertularian is not considerable or it is not phyllodial or both is false if the syphilitic is a downtown.
void -> assump1: Let's assume that the syphilitic is a kind of a downtown.; sent6 & assump1 -> int1: the fact that either the sertularian is not considerable or it is not phyllodial or both is wrong.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the syphilitic is not a kind of a downtown.;
the heteroploid is not a burning.
$hypothesis$ = the Drixoral is not a kind of a rowanberry and is not a kind of a doughnut. ; $context$ = sent1: if that the syphilitic is a kind of a banneret that is not a doughnut does not hold the heteroploid is not a rowanberry. sent2: if that the Drixoral is a downtown and a burning is not right it is not a rowanberry. sent3: the Drixoral is not a doughnut. sent4: if something is not a kind of a downtown then the fact that it is not a rowanberry and is not a doughnut is incorrect. sent5: the sertularian is not considerable and/or it is not phyllodial. sent6: that the sertularian is not considerable or it is not phyllodial or both is false if the syphilitic is a downtown. ; $proof$ = 
void -> assump1: Let's assume that the syphilitic is a kind of a downtown.; sent6 & assump1 -> int1: the fact that either the sertularian is not considerable or it is not phyllodial or both is wrong.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the syphilitic is not a kind of a downtown.; __UNKNOWN__