the wildfowl is dextral if the Confederate is a Centrocercus.
sent1: the wildfowl is not dextral if the Confederate is a Centrocercus but it is not anuran. sent2: if the Cantabrigian is a platinum the Confederate is thalloid. sent3: the wildfowl quivers Cantabrigian if that it is non-thalloid thing that is not a Centrocercus is not true. sent4: if the wildfowl is a Centrocercus then the Confederate is dextral.
void -> assump2: Let's assume that the fact that the wildfowl is both dextral and not anuran is not true.;
the fact that the leatherette is a kind of anuran thing that does not quiver Cantabrigian is not true.
$hypothesis$ = the wildfowl is dextral if the Confederate is a Centrocercus. ; $context$ = sent1: the wildfowl is not dextral if the Confederate is a Centrocercus but it is not anuran. sent2: if the Cantabrigian is a platinum the Confederate is thalloid. sent3: the wildfowl quivers Cantabrigian if that it is non-thalloid thing that is not a Centrocercus is not true. sent4: if the wildfowl is a Centrocercus then the Confederate is dextral. ; $proof$ = 
void -> assump2: Let's assume that the fact that the wildfowl is both dextral and not anuran is not true.; __UNKNOWN__