the haulm does not nod basidiomycete.
sent1: something is thallophytic and not tolerant if it is not a mindfulness. sent2: if that something does not nod haulm and it is not a kind of a mindfulness is not true then it does nod basidiomycete. sent3: the haulm does not nod haulm if the basidiomycete is not a kind of a mindfulness but it does nod haulm. sent4: the haulm is not a vanilla and it is not incongruous. sent5: the haulm is not immoral if the basidiomycete is thallophytic but it is not tolerant. sent6: if something is immoral then it is tolerant. sent7: something does not nod basidiomycete if it is both not immoral and an erection. sent8: the basidiomycete is not a kind of a mindfulness if it is a kind of non-immoral thing that is incongruous. sent9: if the fact that the basidiomycete either does not cancel Giraffidae or is not periodontic or both is not correct then it does not nod haulm. sent10: if the haulm is a kind of vanilla thing that is not incongruous it is an erection. sent11: that the basidiomycete does not cancel Giraffidae and/or is not periodontic does not hold. sent12: something is not a kind of a vanilla if it does not nod haulm. sent13: if the haulm is not vanilla and it is not incongruous then it is a kind of an erection. sent14: the fact that the basidiomycete does nod haulm hold if it is a mindfulness. sent15: something that is tolerant is thallophytic. sent16: the goldfinch is both immoral and an erection.
void -> assump1: Let's assume that that the basidiomycete is a mindfulness hold.; sent14 & assump1 -> int1: the basidiomycete nods haulm.; sent9 & sent11 -> int2: the basidiomycete does not nod haulm.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the basidiomycete is not a mindfulness.; sent1 -> int5: if that the basidiomycete is not a mindfulness hold then it is both thallophytic and not tolerant.; int4 & int5 -> int6: the basidiomycete is thallophytic but it is not tolerant.; int6 & sent5 -> int7: the haulm is not immoral.; sent13 & sent4 -> int8: the haulm is a kind of an erection.; int7 & int8 -> int9: the haulm is moral but it is an erection.; sent7 -> int10: if the haulm is not immoral but it is an erection it does not nod basidiomycete.; int9 & int10 -> hypothesis;
the fact that the haulm does not nod haulm is right.
sent6 -> int11: the fact that the goldfinch is tolerant is correct if it is immoral.; sent16 -> int12: the goldfinch is immoral.; int11 & int12 -> int13: the goldfinch is not intolerant.;
$hypothesis$ = the haulm does not nod basidiomycete. ; $context$ = sent1: something is thallophytic and not tolerant if it is not a mindfulness. sent2: if that something does not nod haulm and it is not a kind of a mindfulness is not true then it does nod basidiomycete. sent3: the haulm does not nod haulm if the basidiomycete is not a kind of a mindfulness but it does nod haulm. sent4: the haulm is not a vanilla and it is not incongruous. sent5: the haulm is not immoral if the basidiomycete is thallophytic but it is not tolerant. sent6: if something is immoral then it is tolerant. sent7: something does not nod basidiomycete if it is both not immoral and an erection. sent8: the basidiomycete is not a kind of a mindfulness if it is a kind of non-immoral thing that is incongruous. sent9: if the fact that the basidiomycete either does not cancel Giraffidae or is not periodontic or both is not correct then it does not nod haulm. sent10: if the haulm is a kind of vanilla thing that is not incongruous it is an erection. sent11: that the basidiomycete does not cancel Giraffidae and/or is not periodontic does not hold. sent12: something is not a kind of a vanilla if it does not nod haulm. sent13: if the haulm is not vanilla and it is not incongruous then it is a kind of an erection. sent14: the fact that the basidiomycete does nod haulm hold if it is a mindfulness. sent15: something that is tolerant is thallophytic. sent16: the goldfinch is both immoral and an erection. ; $proof$ = 
void -> assump1: Let's assume that that the basidiomycete is a mindfulness hold.; sent14 & assump1 -> int1: the basidiomycete nods haulm.; sent9 & sent11 -> int2: the basidiomycete does not nod haulm.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the basidiomycete is not a mindfulness.; sent1 -> int5: if that the basidiomycete is not a mindfulness hold then it is both thallophytic and not tolerant.; int4 & int5 -> int6: the basidiomycete is thallophytic but it is not tolerant.; int6 & sent5 -> int7: the haulm is not immoral.; sent13 & sent4 -> int8: the haulm is a kind of an erection.; int7 & int8 -> int9: the haulm is moral but it is an erection.; sent7 -> int10: if the haulm is not immoral but it is an erection it does not nod basidiomycete.; int9 & int10 -> hypothesis; __PROVED__