that the dogtooth is not unsociable but it does criticize latest is wrong.
sent1: if something does lob Xenopus and it is a kind of a cold then it is not a kind of a radiocarbon. sent2: that the dogtooth is unsociable thing that criticizes latest is not correct. sent3: if there exists something such that it is not a malnutrition the halfbeak is a radiocarbon. sent4: if there exists something such that it does not lob Xenopus the fact that the dogtooth is unsociable and criticizes latest does not hold. sent5: there exists something such that it does lob Xenopus. sent6: the halfbeak is a radiocarbon if there exists something such that the fact that it is not a kind of a radiocarbon and it is a malnutrition is false. sent7: there exists something such that the fact that it is a radiocarbon and a malnutrition is not correct. sent8: the dogtooth is not unsociable if there is something such that that it is non-cold a radiocarbon is not correct. sent9: the halfbeak is not non-cold. sent10: that the revolver is a Oregonian if the fact that the halfbeak is a kind of a Oregonian is not incorrect is not false. sent11: that the revolver is not a kind of a radiocarbon but it is a malnutrition does not hold.
void -> assump1: Let's assume that the fact that the halfbeak lobs Xenopus is not false.; assump1 & sent9 -> int1: the halfbeak does lob Xenopus and is a cold.; sent1 -> int2: if the halfbeak does lob Xenopus and is a cold it is not a radiocarbon.; int1 & int2 -> int3: the fact that the halfbeak is not a radiocarbon is true.; sent11 -> int4: there is something such that that it is not a radiocarbon and it is a malnutrition is not right.; int4 & sent6 -> int5: the halfbeak is a radiocarbon.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the halfbeak does not lob Xenopus.; int7 -> int8: something does not lob Xenopus.;
the dogtooth is not unsociable but it does criticize latest.
$hypothesis$ = that the dogtooth is not unsociable but it does criticize latest is wrong. ; $context$ = sent1: if something does lob Xenopus and it is a kind of a cold then it is not a kind of a radiocarbon. sent2: that the dogtooth is unsociable thing that criticizes latest is not correct. sent3: if there exists something such that it is not a malnutrition the halfbeak is a radiocarbon. sent4: if there exists something such that it does not lob Xenopus the fact that the dogtooth is unsociable and criticizes latest does not hold. sent5: there exists something such that it does lob Xenopus. sent6: the halfbeak is a radiocarbon if there exists something such that the fact that it is not a kind of a radiocarbon and it is a malnutrition is false. sent7: there exists something such that the fact that it is a radiocarbon and a malnutrition is not correct. sent8: the dogtooth is not unsociable if there is something such that that it is non-cold a radiocarbon is not correct. sent9: the halfbeak is not non-cold. sent10: that the revolver is a Oregonian if the fact that the halfbeak is a kind of a Oregonian is not incorrect is not false. sent11: that the revolver is not a kind of a radiocarbon but it is a malnutrition does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the halfbeak lobs Xenopus is not false.; assump1 & sent9 -> int1: the halfbeak does lob Xenopus and is a cold.; sent1 -> int2: if the halfbeak does lob Xenopus and is a cold it is not a radiocarbon.; int1 & int2 -> int3: the fact that the halfbeak is not a radiocarbon is true.; sent11 -> int4: there is something such that that it is not a radiocarbon and it is a malnutrition is not right.; int4 & sent6 -> int5: the halfbeak is a radiocarbon.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the halfbeak does not lob Xenopus.; int7 -> int8: something does not lob Xenopus.; __UNKNOWN__