if the longan is unpatriotic that the clotheshorse is not nonterritorial but it does perfume cabaret is wrong.
sent1: there exists something such that it is not territorial. sent2: the fact that the fact that the clotheshorse is territorial but it perfumes cabaret hold is false if the rectification is not territorial. sent3: the left-hander perfumes cabaret. sent4: the rectification is unpatriotic. sent5: the fact that the rectification is nonterritorial and does perfume cabaret is not correct if that the clotheshorse is not nonterritorial is not wrong. sent6: that something is impermissible and it masters heterosexuality is not incorrect. sent7: the longan is a guan. sent8: if something is unpatriotic and it is a kind of a guan then the rectification is not nonterritorial. sent9: the rectification is academic and is not non-cardiopulmonary. sent10: the marguerite does not perfume cabaret. sent11: if the longan perfumes cabaret the fact that the rectification is a kind of territorial thing that is a guan is incorrect. sent12: there is something such that it brads Appalachian. sent13: the fact that the clotheshorse is both not nonterritorial and a guan is not true. sent14: something is acaulescent.
void -> assump1: Let's assume that the longan is unpatriotic.; assump1 & sent7 -> int1: the longan is unpatriotic and is a guan.; int1 -> int2: there exists something such that it is unpatriotic and it is a kind of a guan.; int2 & sent8 -> int3: the rectification is not nonterritorial.; sent2 & int3 -> int4: that the clotheshorse is a kind of territorial thing that does perfume cabaret is wrong.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the longan is unpatriotic that the clotheshorse is not nonterritorial but it does perfume cabaret is wrong. ; $context$ = sent1: there exists something such that it is not territorial. sent2: the fact that the fact that the clotheshorse is territorial but it perfumes cabaret hold is false if the rectification is not territorial. sent3: the left-hander perfumes cabaret. sent4: the rectification is unpatriotic. sent5: the fact that the rectification is nonterritorial and does perfume cabaret is not correct if that the clotheshorse is not nonterritorial is not wrong. sent6: that something is impermissible and it masters heterosexuality is not incorrect. sent7: the longan is a guan. sent8: if something is unpatriotic and it is a kind of a guan then the rectification is not nonterritorial. sent9: the rectification is academic and is not non-cardiopulmonary. sent10: the marguerite does not perfume cabaret. sent11: if the longan perfumes cabaret the fact that the rectification is a kind of territorial thing that is a guan is incorrect. sent12: there is something such that it brads Appalachian. sent13: the fact that the clotheshorse is both not nonterritorial and a guan is not true. sent14: something is acaulescent. ; $proof$ = 
void -> assump1: Let's assume that the longan is unpatriotic.; assump1 & sent7 -> int1: the longan is unpatriotic and is a guan.; int1 -> int2: there exists something such that it is unpatriotic and it is a kind of a guan.; int2 & sent8 -> int3: the rectification is not nonterritorial.; sent2 & int3 -> int4: that the clotheshorse is a kind of territorial thing that does perfume cabaret is wrong.; [assump1] & int4 -> hypothesis; __PROVED__