the Mao does not snow cow.
sent1: the cow is a kind of a dermatology. sent2: if there exists something such that it snows cow the Mao is not pro-choice. sent3: if that the Mao is a surffish but it is not a bind is not true then the cow is nonextensile. sent4: the article is a kind of a autogiro if the cow is nonextensile. sent5: the fact that the boxthorn binds is true if it does federalize foxhound and it is not non-pro-choice. sent6: if there exists something such that the fact that it does not federalize foxhound and is not pro-choice is not true then the fact that the article is not a kind of a autogiro is not wrong. sent7: there exists something such that the fact that it is not a diplococcus and it is not a Altaic is incorrect. sent8: the fact that the boxthorn does not federalize foxhound and is not pro-choice does not hold. sent9: the gerontologist is a autogiro but it is not tight. sent10: if something does federalize foxhound then the fact that it is not a autogiro or it is nonextensile or both is incorrect. sent11: if something is both a surffish and not a bind then it snows cow.
void -> assump1: Let's assume that the fact that the Mao is a surffish but it is not a bind is not correct.; sent3 & assump1 -> int1: that the cow is nonextensile is true.; int1 & sent4 -> int2: the article is a autogiro.; sent8 -> int3: there is something such that that it does not federalize foxhound and is not pro-choice is not right.; int3 & sent6 -> int4: the article is not a kind of a autogiro.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Mao is a kind of a surffish but it is not a bind.; sent11 -> int7: that if the Mao is a surffish but it is not the bind then the Mao does snow cow hold.; int6 & int7 -> hypothesis;
that the Mao does not snow cow is true.
sent10 -> int8: if the cow does federalize foxhound then the fact that it is either not a autogiro or nonextensile or both is not true.;
$hypothesis$ = the Mao does not snow cow. ; $context$ = sent1: the cow is a kind of a dermatology. sent2: if there exists something such that it snows cow the Mao is not pro-choice. sent3: if that the Mao is a surffish but it is not a bind is not true then the cow is nonextensile. sent4: the article is a kind of a autogiro if the cow is nonextensile. sent5: the fact that the boxthorn binds is true if it does federalize foxhound and it is not non-pro-choice. sent6: if there exists something such that the fact that it does not federalize foxhound and is not pro-choice is not true then the fact that the article is not a kind of a autogiro is not wrong. sent7: there exists something such that the fact that it is not a diplococcus and it is not a Altaic is incorrect. sent8: the fact that the boxthorn does not federalize foxhound and is not pro-choice does not hold. sent9: the gerontologist is a autogiro but it is not tight. sent10: if something does federalize foxhound then the fact that it is not a autogiro or it is nonextensile or both is incorrect. sent11: if something is both a surffish and not a bind then it snows cow. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Mao is a surffish but it is not a bind is not correct.; sent3 & assump1 -> int1: that the cow is nonextensile is true.; int1 & sent4 -> int2: the article is a autogiro.; sent8 -> int3: there is something such that that it does not federalize foxhound and is not pro-choice is not right.; int3 & sent6 -> int4: the article is not a kind of a autogiro.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Mao is a kind of a surffish but it is not a bind.; sent11 -> int7: that if the Mao is a surffish but it is not the bind then the Mao does snow cow hold.; int6 & int7 -> hypothesis; __DISPROVED__