the homosexual is both a Moroccan and not a greenroom if the import barbarizes tandem.
sent1: that the import is a Moroccan hold if that the tandem does barbarize tandem is not incorrect. sent2: the tandem is not a Moroccan if the fruit does unpick. sent3: the fruit does barbarize tandem if the import unpicks. sent4: if the tandem is non-Moroccan then the homosexual is a kind of a non-Moroccan that is a greenroom. sent5: if that the tandem is not a Moroccan is not incorrect then the homosexual is Moroccan thing that is not a greenroom. sent6: if the tandem is not a Moroccan then the homosexual is a Moroccan. sent7: the fact that the fruit unpicks is not incorrect if the import does barbarize tandem. sent8: the homosexual is Moroccan and a greenroom. sent9: the homosexual is a kind of Moroccan a greenroom if the import does barbarize tandem. sent10: the homosexual is a Moroccan. sent11: if the import barbarizes tandem then the homosexual is a kind of a Moroccan.
void -> assump1: Let's assume that the import does barbarize tandem.; sent7 & assump1 -> int1: that the fruit does unpick hold.; sent2 & int1 -> int2: the tandem is not a kind of a Moroccan.; sent5 & int2 -> int3: the homosexual is a Moroccan but it is not a greenroom.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the homosexual is both a Moroccan and not a greenroom if the import barbarizes tandem. ; $context$ = sent1: that the import is a Moroccan hold if that the tandem does barbarize tandem is not incorrect. sent2: the tandem is not a Moroccan if the fruit does unpick. sent3: the fruit does barbarize tandem if the import unpicks. sent4: if the tandem is non-Moroccan then the homosexual is a kind of a non-Moroccan that is a greenroom. sent5: if that the tandem is not a Moroccan is not incorrect then the homosexual is Moroccan thing that is not a greenroom. sent6: if the tandem is not a Moroccan then the homosexual is a Moroccan. sent7: the fact that the fruit unpicks is not incorrect if the import does barbarize tandem. sent8: the homosexual is Moroccan and a greenroom. sent9: the homosexual is a kind of Moroccan a greenroom if the import does barbarize tandem. sent10: the homosexual is a Moroccan. sent11: if the import barbarizes tandem then the homosexual is a kind of a Moroccan. ; $proof$ = 
void -> assump1: Let's assume that the import does barbarize tandem.; sent7 & assump1 -> int1: that the fruit does unpick hold.; sent2 & int1 -> int2: the tandem is not a kind of a Moroccan.; sent5 & int2 -> int3: the homosexual is a Moroccan but it is not a greenroom.; [assump1] & int3 -> hypothesis; __PROVED__