if the soursop does blanket Mauritian that the blackheart does not promise bichromate but it does jam soursop does not hold.
sent1: if the soursop does blanket Mauritian it is not a maltose and/or it does blanket reserpine. sent2: the crystallographer does blanket Mauritian. sent3: something is a payday. sent4: the soursop is a kind of a maltose or it does not blanket reserpine or both. sent5: the fact that the blackheart promises bichromate and it jams soursop is not correct if the soursop blankets Mauritian. sent6: the blackheart does not promise bichromate and does jam soursop. sent7: if the soursop is not a maltose and/or it does not blanket reserpine the Mauritian does promise brine. sent8: the soursop is a kind of a maltose or it does not blanket reserpine or both if it blankets Mauritian. sent9: the blackheart does not promise bichromate and jams soursop if there exists something such that it is not a payday. sent10: the blackheart does not promise bichromate but it does jam soursop if the soursop does blanket Mauritian. sent11: if there exists something such that it is not a maltose then that the sunlight does not blanket reserpine and is a kind of a payday does not hold. sent12: that the blackheart does promise bichromate and it jams soursop does not hold if there is something such that it is not a payday. sent13: that either the soursop is not a maltose or it does not blanket reserpine or both is not incorrect if it does blanket Mauritian. sent14: the fact that the blackheart does not promise bichromate and jams soursop is wrong if something is not a kind of a payday. sent15: the soursop is not a maltose or it blankets reserpine or both. sent16: the sunlight is not a payday if that the fact that the Mauritian does not promise brine hold is not true. sent17: the fact that the blackheart does promise bichromate and it does jam soursop is not true.
void -> assump1: Let's assume that the soursop blankets Mauritian.; sent13 & assump1 -> int1: either the soursop is not a maltose or it does not blanket reserpine or both.; sent7 & int1 -> int2: the Mauritian does promise brine.; sent16 & int2 -> int3: the sunlight is not a kind of a payday.; int3 -> int4: there exists something such that it is not a payday.; int4 & sent14 -> int5: that the blackheart does not promise bichromate but it does jam soursop is not correct.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the soursop does blanket Mauritian that the blackheart does not promise bichromate but it does jam soursop does not hold. ; $context$ = sent1: if the soursop does blanket Mauritian it is not a maltose and/or it does blanket reserpine. sent2: the crystallographer does blanket Mauritian. sent3: something is a payday. sent4: the soursop is a kind of a maltose or it does not blanket reserpine or both. sent5: the fact that the blackheart promises bichromate and it jams soursop is not correct if the soursop blankets Mauritian. sent6: the blackheart does not promise bichromate and does jam soursop. sent7: if the soursop is not a maltose and/or it does not blanket reserpine the Mauritian does promise brine. sent8: the soursop is a kind of a maltose or it does not blanket reserpine or both if it blankets Mauritian. sent9: the blackheart does not promise bichromate and jams soursop if there exists something such that it is not a payday. sent10: the blackheart does not promise bichromate but it does jam soursop if the soursop does blanket Mauritian. sent11: if there exists something such that it is not a maltose then that the sunlight does not blanket reserpine and is a kind of a payday does not hold. sent12: that the blackheart does promise bichromate and it jams soursop does not hold if there is something such that it is not a payday. sent13: that either the soursop is not a maltose or it does not blanket reserpine or both is not incorrect if it does blanket Mauritian. sent14: the fact that the blackheart does not promise bichromate and jams soursop is wrong if something is not a kind of a payday. sent15: the soursop is not a maltose or it blankets reserpine or both. sent16: the sunlight is not a payday if that the fact that the Mauritian does not promise brine hold is not true. sent17: the fact that the blackheart does promise bichromate and it does jam soursop is not true. ; $proof$ = 
void -> assump1: Let's assume that the soursop blankets Mauritian.; sent13 & assump1 -> int1: either the soursop is not a maltose or it does not blanket reserpine or both.; sent7 & int1 -> int2: the Mauritian does promise brine.; sent16 & int2 -> int3: the sunlight is not a kind of a payday.; int3 -> int4: there exists something such that it is not a payday.; int4 & sent14 -> int5: that the blackheart does not promise bichromate but it does jam soursop is not correct.; [assump1] & int5 -> hypothesis; __PROVED__