the fact that there are polemoniaceous and Nilotic things does not hold.
sent1: the toe is a kind of a Nilotic. sent2: if something is not a chiropodist and is bulbar then the durum is not a deposition. sent3: if the durum is supervisory then that it is a kind of a deposition hold. sent4: the toe is polemoniaceous if that the aquatics is not supervisory but it is roentgenographic is incorrect. sent5: the fact that the aquatics is not supervisory but it is roentgenographic is wrong if the durum is not supervisory. sent6: there is something such that it is not a kind of a chiropodist and it is bulbar.
void -> assump1: Let's assume that the durum is not non-supervisory.; sent3 & assump1 -> int1: the durum is a deposition.; sent6 & sent2 -> int2: the durum is not a deposition.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the durum is non-supervisory.; int4 & sent5 -> int5: that the aquatics is not supervisory but it is roentgenographic does not hold.; int5 & sent4 -> int6: the toe is polemoniaceous.; int6 & sent1 -> int7: the toe is polemoniaceous and it is a Nilotic.; int7 -> hypothesis;
$hypothesis$ = the fact that there are polemoniaceous and Nilotic things does not hold. ; $context$ = sent1: the toe is a kind of a Nilotic. sent2: if something is not a chiropodist and is bulbar then the durum is not a deposition. sent3: if the durum is supervisory then that it is a kind of a deposition hold. sent4: the toe is polemoniaceous if that the aquatics is not supervisory but it is roentgenographic is incorrect. sent5: the fact that the aquatics is not supervisory but it is roentgenographic is wrong if the durum is not supervisory. sent6: there is something such that it is not a kind of a chiropodist and it is bulbar. ; $proof$ = 
void -> assump1: Let's assume that the durum is not non-supervisory.; sent3 & assump1 -> int1: the durum is a deposition.; sent6 & sent2 -> int2: the durum is not a deposition.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the durum is non-supervisory.; int4 & sent5 -> int5: that the aquatics is not supervisory but it is roentgenographic does not hold.; int5 & sent4 -> int6: the toe is polemoniaceous.; int6 & sent1 -> int7: the toe is polemoniaceous and it is a Nilotic.; int7 -> hypothesis; __DISPROVED__