the fact that the Modicon is both not a climacteric and not tribal is not true.
sent1: if either the saltpan is scientific or it does job or both the broadbill is not improbable. sent2: the broadbill does empty whitewash. sent3: if something is not scientific that it is not a climacteric and it is not tribal is right. sent4: there is something such that it is tribal. sent5: if there exists something such that it is not tribal then that the fact that the fact that the saltpan is not a job and is scientific is true is not correct is right. sent6: the Modicon is not a leaflet. sent7: the fact that the saltpan is both not a climacteric and off-street is false. sent8: the broadbill is improbable. sent9: the shyster does whipsaw and/or it is tribal. sent10: that the Modicon is both not a climacteric and tribal is not right. sent11: the lymphoblast jobs. sent12: if there is something such that it is not scientific the fact that the Modicon is both not a climacteric and not tribal is not correct. sent13: the broadbill does job. sent14: the fact that the broadbill is improbable but it is not a climacteric is wrong if there is something such that it is not a kind of a job. sent15: the broadbill is a climacteric. sent16: the gastrin either is a kind of a job or is a kind of a Ceroxylon or both. sent17: if that the saltpan is not a kind of a sellout is right then it is both improbable and a job. sent18: the fact that the Modicon is not a prurience and not tribal is not true. sent19: there exists something such that it is not improbable.
void -> assump1: Let's assume that the saltpan is scientific.; assump1 -> int1: the saltpan is scientific and/or it is a job.; int1 & sent1 -> int2: the broadbill is not improbable.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the saltpan is unscientific.; int4 -> int5: there is something such that it is not scientific.; int5 & sent12 -> hypothesis;
the Modicon is not a climacteric and not tribal.
sent3 -> int6: the Modicon is not a climacteric and is not tribal if it is not scientific.;
$hypothesis$ = the fact that the Modicon is both not a climacteric and not tribal is not true. ; $context$ = sent1: if either the saltpan is scientific or it does job or both the broadbill is not improbable. sent2: the broadbill does empty whitewash. sent3: if something is not scientific that it is not a climacteric and it is not tribal is right. sent4: there is something such that it is tribal. sent5: if there exists something such that it is not tribal then that the fact that the fact that the saltpan is not a job and is scientific is true is not correct is right. sent6: the Modicon is not a leaflet. sent7: the fact that the saltpan is both not a climacteric and off-street is false. sent8: the broadbill is improbable. sent9: the shyster does whipsaw and/or it is tribal. sent10: that the Modicon is both not a climacteric and tribal is not right. sent11: the lymphoblast jobs. sent12: if there is something such that it is not scientific the fact that the Modicon is both not a climacteric and not tribal is not correct. sent13: the broadbill does job. sent14: the fact that the broadbill is improbable but it is not a climacteric is wrong if there is something such that it is not a kind of a job. sent15: the broadbill is a climacteric. sent16: the gastrin either is a kind of a job or is a kind of a Ceroxylon or both. sent17: if that the saltpan is not a kind of a sellout is right then it is both improbable and a job. sent18: the fact that the Modicon is not a prurience and not tribal is not true. sent19: there exists something such that it is not improbable. ; $proof$ = 
void -> assump1: Let's assume that the saltpan is scientific.; assump1 -> int1: the saltpan is scientific and/or it is a job.; int1 & sent1 -> int2: the broadbill is not improbable.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the saltpan is unscientific.; int4 -> int5: there is something such that it is not scientific.; int5 & sent12 -> hypothesis; __PROVED__