the heavyweight does negotiate numen.
sent1: the palatinate is not a kind of a husk if there is something such that it does not negotiate X. sent2: something is not a heartland if that it is a kind of a heartland that negotiates X is incorrect. sent3: the scratch does not soldier urn. sent4: if the scratch is not a kind of a Isopyrum and is not evolutionary the palatinate is not evolutionary. sent5: the heavyweight does not quiver hazardousness. sent6: the fact that the heavyweight is not a Isopyrum is not false. sent7: the zinfandel is not a kind of a heartland if there is something such that it does not negotiate X. sent8: the scratch is not a Isopyrum and is not evolutionary. sent9: something is a heartland and it is a kind of a husk if it is not evolutionary. sent10: something that does not husk does negotiate X and negotiates numen. sent11: if the zinfandel is not a kind of a heartland but it does husk then the heavyweight is not a husk. sent12: something is not a chronoscope if it is an approaching. sent13: the fractionation is categoric. sent14: something does not quiver hazardousness and is not categoric if it negotiates numen. sent15: that the zinfandel negotiates X is not true if something does not quiver hazardousness and it is not categoric.
sent14 -> int1: the heavyweight does not quiver hazardousness and it is not categoric if it does negotiate numen.; void -> assump1: Let's assume that the fact that the heavyweight negotiates numen hold.; int1 & assump1 -> int2: the heavyweight does not quiver hazardousness and is not categoric.; int2 -> int3: something does not quiver hazardousness and it is not categoric.; int3 & sent15 -> int4: the zinfandel does not negotiate X.; int4 -> int5: that there exists something such that it does not negotiate X is not wrong.; int5 & sent1 -> int6: the palatinate does not husk.; sent9 -> int7: the palatinate is a heartland and it is a husk if it is not evolutionary.; sent4 & sent8 -> int8: the palatinate is not evolutionary.; int7 & int8 -> int9: the palatinate is a kind of a heartland and does husk.; int9 -> int10: the palatinate is a husk.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
the heavyweight does negotiate numen.
sent10 -> int12: the heavyweight does negotiate X and negotiates numen if it is not a husk.;
$hypothesis$ = the heavyweight does negotiate numen. ; $context$ = sent1: the palatinate is not a kind of a husk if there is something such that it does not negotiate X. sent2: something is not a heartland if that it is a kind of a heartland that negotiates X is incorrect. sent3: the scratch does not soldier urn. sent4: if the scratch is not a kind of a Isopyrum and is not evolutionary the palatinate is not evolutionary. sent5: the heavyweight does not quiver hazardousness. sent6: the fact that the heavyweight is not a Isopyrum is not false. sent7: the zinfandel is not a kind of a heartland if there is something such that it does not negotiate X. sent8: the scratch is not a Isopyrum and is not evolutionary. sent9: something is a heartland and it is a kind of a husk if it is not evolutionary. sent10: something that does not husk does negotiate X and negotiates numen. sent11: if the zinfandel is not a kind of a heartland but it does husk then the heavyweight is not a husk. sent12: something is not a chronoscope if it is an approaching. sent13: the fractionation is categoric. sent14: something does not quiver hazardousness and is not categoric if it negotiates numen. sent15: that the zinfandel negotiates X is not true if something does not quiver hazardousness and it is not categoric. ; $proof$ = 
sent14 -> int1: the heavyweight does not quiver hazardousness and it is not categoric if it does negotiate numen.; void -> assump1: Let's assume that the fact that the heavyweight negotiates numen hold.; int1 & assump1 -> int2: the heavyweight does not quiver hazardousness and is not categoric.; int2 -> int3: something does not quiver hazardousness and it is not categoric.; int3 & sent15 -> int4: the zinfandel does not negotiate X.; int4 -> int5: that there exists something such that it does not negotiate X is not wrong.; int5 & sent1 -> int6: the palatinate does not husk.; sent9 -> int7: the palatinate is a heartland and it is a husk if it is not evolutionary.; sent4 & sent8 -> int8: the palatinate is not evolutionary.; int7 & int8 -> int9: the palatinate is a kind of a heartland and does husk.; int9 -> int10: the palatinate is a husk.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __DISPROVED__