the commune rationalizes damourite and it is a reactionary.
sent1: if that the gas rationalizes damourite hold the commune does rationalizes damourite. sent2: if the skeg does neglect Moho the fact that the pitprop does not smuggle or it is not a kind of a soloist or both is wrong. sent3: the commune is a reactionary if the fact that it is not extraterritorial and it is choric is wrong. sent4: either everything rationalizes damourite or it does not neglect polemonium or both. sent5: something that is lively neglects Kyd and is not a kind of a dimwit. sent6: if the gas does not neglect polemonium then that the beer either is a reactionary or does not rationalize damourite or both does not hold. sent7: that the beer is not lively if the beer filigrees but it does not smuggle is true. sent8: the beer is not lively if it is a filigree and it does smuggle. sent9: the beer does filigree and does not smuggle. sent10: that the commune does rationalize damourite is not incorrect if the gas does not neglect polemonium. sent11: the pitprop does not filigree if that it does not smuggle and/or it is not a kind of a soloist is not true.
void -> assump1: Let's assume that that the commune is not extraterritorial but it is choric is true.; assump1 -> int1: something is a kind of non-extraterritorial thing that is choric.; sent7 & sent9 -> int2: the beer is not lively.; sent4 -> int3: the gas either does rationalize damourite or does not neglect polemonium or both.; int3 & sent1 & sent10 -> int4: the commune rationalizes damourite.;
the augur neglects Kyd and is not a kind of a dimwit.
sent5 -> int5: the augur does neglect Kyd and is not a dimwit if it is lively.;
$hypothesis$ = the commune rationalizes damourite and it is a reactionary. ; $context$ = sent1: if that the gas rationalizes damourite hold the commune does rationalizes damourite. sent2: if the skeg does neglect Moho the fact that the pitprop does not smuggle or it is not a kind of a soloist or both is wrong. sent3: the commune is a reactionary if the fact that it is not extraterritorial and it is choric is wrong. sent4: either everything rationalizes damourite or it does not neglect polemonium or both. sent5: something that is lively neglects Kyd and is not a kind of a dimwit. sent6: if the gas does not neglect polemonium then that the beer either is a reactionary or does not rationalize damourite or both does not hold. sent7: that the beer is not lively if the beer filigrees but it does not smuggle is true. sent8: the beer is not lively if it is a filigree and it does smuggle. sent9: the beer does filigree and does not smuggle. sent10: that the commune does rationalize damourite is not incorrect if the gas does not neglect polemonium. sent11: the pitprop does not filigree if that it does not smuggle and/or it is not a kind of a soloist is not true. ; $proof$ = 
void -> assump1: Let's assume that that the commune is not extraterritorial but it is choric is true.; assump1 -> int1: something is a kind of non-extraterritorial thing that is choric.; sent7 & sent9 -> int2: the beer is not lively.; sent4 -> int3: the gas either does rationalize damourite or does not neglect polemonium or both.; int3 & sent1 & sent10 -> int4: the commune rationalizes damourite.; __UNKNOWN__