the huisache is nodular but it is not orthoptics.
sent1: the fact that the plover is a Erianthus but it does not meld is not right if the Norwegian is not a antiphonary. sent2: if the plover is not pyknotic it is a Erianthus and it does not meld. sent3: the Norwegian is not a antiphonary if the huisache is not non-nodular but non-orthoptics. sent4: if the plover is credulous it is not pyknotic. sent5: the fact that the plover is not credulous is not correct. sent6: if something does not meld and is not a kind of a antiphonary it is a Erianthus.
void -> assump1: Let's assume that the huisache is a kind of nodular thing that is not orthoptics.; sent3 & assump1 -> int1: the Norwegian is not antiphonary.; int1 & sent1 -> int2: the fact that the plover is a Erianthus but it does not meld does not hold.; sent4 & sent5 -> int3: the fact that the plover is not pyknotic hold.; sent2 & int3 -> int4: the plover is a Erianthus but it does not meld.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the huisache is a kind of nodular thing that is not orthoptics.
sent6 -> int6: the Norwegian is a kind of a Erianthus if it does not meld and it is not antiphonary.;
$hypothesis$ = the huisache is nodular but it is not orthoptics. ; $context$ = sent1: the fact that the plover is a Erianthus but it does not meld is not right if the Norwegian is not a antiphonary. sent2: if the plover is not pyknotic it is a Erianthus and it does not meld. sent3: the Norwegian is not a antiphonary if the huisache is not non-nodular but non-orthoptics. sent4: if the plover is credulous it is not pyknotic. sent5: the fact that the plover is not credulous is not correct. sent6: if something does not meld and is not a kind of a antiphonary it is a Erianthus. ; $proof$ = 
void -> assump1: Let's assume that the huisache is a kind of nodular thing that is not orthoptics.; sent3 & assump1 -> int1: the Norwegian is not antiphonary.; int1 & sent1 -> int2: the fact that the plover is a Erianthus but it does not meld does not hold.; sent4 & sent5 -> int3: the fact that the plover is not pyknotic hold.; sent2 & int3 -> int4: the plover is a Erianthus but it does not meld.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__