the cornstarch is not a Harlow.
sent1: that something is a kind of non-amoebic thing that is a kind of a Shinto does not hold if that it is heartless hold. sent2: there exists something such that that it is not gyroscopic and it is a raftered is not correct. sent3: if the cornstarch mismarries that the buckskin does not mismarries hold. sent4: if that the buckskin is not amoebic and is a kind of a Shinto is false it is not Shinto. sent5: the rain is a kind of a flattop. sent6: if the cornstarch is a Harlow the fact that the buckskin is subhuman is correct. sent7: something is subhuman and gyroscopic if it does not school uniformity. sent8: there exists something such that it is Shinto. sent9: there are non-Shinto things. sent10: if something is subhuman the fact that it is non-gyroscopic thing that schools uniformity is not correct. sent11: the cornstarch is not non-Shinto. sent12: a subhuman thing is a Harlow. sent13: that the narrator is not subhuman is correct. sent14: the narrator is a flattop if there exists something such that that it is not gyroscopic and it schools uniformity is wrong. sent15: the fact that something is a flattop and a raftered is not correct if it is not Shinto. sent16: if there exists something such that that it is non-Shinto hold the narrator is not a raftered.
void -> assump1: Let's assume that the fact that the cornstarch is a Harlow is correct.; sent6 & assump1 -> int1: the buckskin is subhuman.; sent10 -> int2: if the buckskin is not non-subhuman that it is not gyroscopic and it schools uniformity is incorrect.; int1 & int2 -> int3: the fact that the buckskin is not gyroscopic and does school uniformity is wrong.; int3 -> int4: there exists something such that the fact that it is not gyroscopic and it schools uniformity is false.; int4 & sent14 -> int5: the narrator is a flattop.; sent9 & sent16 -> int6: the narrator is not a raftered.;
the cornstarch is a Harlow.
sent12 -> int7: the fact that the cornstarch is a Harlow is not false if it is subhuman.; sent7 -> int8: if the cornstarch does not school uniformity then it is subhuman and it is gyroscopic.; sent15 -> int9: if the buckskin is not Shinto then that it is a flattop and it does rafter is false.; sent1 -> int10: if the buckskin is heartless the fact that it is not amoebic and is a Shinto is wrong.;
$hypothesis$ = the cornstarch is not a Harlow. ; $context$ = sent1: that something is a kind of non-amoebic thing that is a kind of a Shinto does not hold if that it is heartless hold. sent2: there exists something such that that it is not gyroscopic and it is a raftered is not correct. sent3: if the cornstarch mismarries that the buckskin does not mismarries hold. sent4: if that the buckskin is not amoebic and is a kind of a Shinto is false it is not Shinto. sent5: the rain is a kind of a flattop. sent6: if the cornstarch is a Harlow the fact that the buckskin is subhuman is correct. sent7: something is subhuman and gyroscopic if it does not school uniformity. sent8: there exists something such that it is Shinto. sent9: there are non-Shinto things. sent10: if something is subhuman the fact that it is non-gyroscopic thing that schools uniformity is not correct. sent11: the cornstarch is not non-Shinto. sent12: a subhuman thing is a Harlow. sent13: that the narrator is not subhuman is correct. sent14: the narrator is a flattop if there exists something such that that it is not gyroscopic and it schools uniformity is wrong. sent15: the fact that something is a flattop and a raftered is not correct if it is not Shinto. sent16: if there exists something such that that it is non-Shinto hold the narrator is not a raftered. ; $proof$ = 
void -> assump1: Let's assume that the fact that the cornstarch is a Harlow is correct.; sent6 & assump1 -> int1: the buckskin is subhuman.; sent10 -> int2: if the buckskin is not non-subhuman that it is not gyroscopic and it schools uniformity is incorrect.; int1 & int2 -> int3: the fact that the buckskin is not gyroscopic and does school uniformity is wrong.; int3 -> int4: there exists something such that the fact that it is not gyroscopic and it schools uniformity is false.; int4 & sent14 -> int5: the narrator is a flattop.; sent9 & sent16 -> int6: the narrator is not a raftered.; __UNKNOWN__