the viceroy does spring-clean Paton.
sent1: that the viceroy is not non-sounding and/or is not a carpetbagger is not right. sent2: if the minivan is not unneurotic the fact that it is profane and/or not advective is not correct. sent3: the batten is a territoriality. sent4: the viceroy is a kind of a chiasmus. sent5: the viceroy is not a backup if the fact that it is not a territoriality is correct. sent6: if the viceroy does not spring-clean Paton it is a territoriality or it is not advective or both. sent7: the viceroy removes Nyctimene. sent8: The gueridon does not sonnet viceroy. sent9: if something does not sonnet gueridon then the fact that it does dance puncture and it spring-cleans Paton is not right. sent10: the puncture does not sonnet gueridon. sent11: the viceroy does not sonnet gueridon. sent12: the AC is not a kind of a territoriality. sent13: the tailplane sonnets gueridon. sent14: the Amontillado is not advective.
void -> assump1: Let's assume that the viceroy does not spring-clean Paton.; sent6 & assump1 -> int1: the viceroy is a territoriality and/or it is not advective.;
the viceroy does not spring-clean Paton.
sent9 -> int2: that the moussaka dances puncture and spring-cleans Paton does not hold if it does not sonnet gueridon.;
$hypothesis$ = the viceroy does spring-clean Paton. ; $context$ = sent1: that the viceroy is not non-sounding and/or is not a carpetbagger is not right. sent2: if the minivan is not unneurotic the fact that it is profane and/or not advective is not correct. sent3: the batten is a territoriality. sent4: the viceroy is a kind of a chiasmus. sent5: the viceroy is not a backup if the fact that it is not a territoriality is correct. sent6: if the viceroy does not spring-clean Paton it is a territoriality or it is not advective or both. sent7: the viceroy removes Nyctimene. sent8: The gueridon does not sonnet viceroy. sent9: if something does not sonnet gueridon then the fact that it does dance puncture and it spring-cleans Paton is not right. sent10: the puncture does not sonnet gueridon. sent11: the viceroy does not sonnet gueridon. sent12: the AC is not a kind of a territoriality. sent13: the tailplane sonnets gueridon. sent14: the Amontillado is not advective. ; $proof$ = 
void -> assump1: Let's assume that the viceroy does not spring-clean Paton.; sent6 & assump1 -> int1: the viceroy is a territoriality and/or it is not advective.; __UNKNOWN__