the cockatoo does underquote Khartoum.
sent1: the apprehender is a kind of a flatfish if that the polyploid is a kind of non-contrapuntal thing that does not underquote polyploid is not true. sent2: the apprehender is not a flatfish. sent3: if the balk is not onomastics then the cockatoo is pediatric but it does not underquote Khartoum. sent4: if the polyploid is not contrapuntal and does not underquote polyploid then the balk is not onomastics.
void -> assump1: Let's assume that that the polyploid is not contrapuntal and it does not underquote polyploid is incorrect.; sent1 & assump1 -> int1: the apprehender is a kind of a flatfish.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the polyploid is not contrapuntal and it does not underquote polyploid.; int3 & sent4 -> int4: that the balk is not onomastics is true.; int4 & sent3 -> int5: the cockatoo is pediatric but it does not underquote Khartoum.; int5 -> hypothesis;
$hypothesis$ = the cockatoo does underquote Khartoum. ; $context$ = sent1: the apprehender is a kind of a flatfish if that the polyploid is a kind of non-contrapuntal thing that does not underquote polyploid is not true. sent2: the apprehender is not a flatfish. sent3: if the balk is not onomastics then the cockatoo is pediatric but it does not underquote Khartoum. sent4: if the polyploid is not contrapuntal and does not underquote polyploid then the balk is not onomastics. ; $proof$ = 
void -> assump1: Let's assume that that the polyploid is not contrapuntal and it does not underquote polyploid is incorrect.; sent1 & assump1 -> int1: the apprehender is a kind of a flatfish.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the polyploid is not contrapuntal and it does not underquote polyploid.; int3 & sent4 -> int4: that the balk is not onomastics is true.; int4 & sent3 -> int5: the cockatoo is pediatric but it does not underquote Khartoum.; int5 -> hypothesis; __DISPROVED__