that either the mugwump is not a kind of a volley or it is not a Stercorariidae or both is correct.
sent1: the franklin is a flood. sent2: something is a flood and a singles if it does not sacrifice. sent3: the tambour is not a sacrifice if there is something such that it is a kind of a singles that does flood. sent4: the mugwump is a volley and/or not a Stercorariidae. sent5: if the fact that something is not non-gluteal but it is not a kind of a duct is incorrect then it is not non-gluteal. sent6: the fact that the tonic does not trice acrylic and it is not a Ajaia is not correct. sent7: if the tambour is a shrug and not non-topological then the franklin is not a kind of a shrug. sent8: the fact that something does not volley and/or it is not a Stercorariidae does not hold if it is a kind of a singles. sent9: if the fact that the tambour is a kind of a Vaux is not wrong it shrugs. sent10: if there is something such that it does sacrifice the fact that the tambour is not a kind of a boring and is not a sacrifice does not hold. sent11: the fact that there is something such that it is a backpack is not wrong. sent12: that the dhawa is not nonresidential hold if the franklin is not nonresidential. sent13: that the franklin is gluteal but it is not a duct does not hold if it does not shrug. sent14: if the franklin is not gluteal then the mugwump is not a sacrifice and it is not a boring. sent15: if the franklin is non-singles then the mugwump is not a kind of a volley. sent16: the tambour is not a boring. sent17: the tambour is a kind of a Vaux. sent18: something does sacrifice.
void -> assump1: Let's assume that the franklin is singles.; assump1 & sent1 -> int1: the franklin singles and it is a flood.; int1 -> int2: something does single and it does flood.; int2 & sent3 -> int3: the tambour is not a sacrifice.; int3 & sent16 -> int4: the tambour is not a boring and it is not a sacrifice.; sent18 & sent10 -> int5: that the tambour is not a boring and is not a sacrifice is not true.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the franklin is not a singles.; int7 & sent15 -> int8: the mugwump is not a volley.; int8 -> hypothesis;
the fact that the mugwump does not volley and/or is not a Stercorariidae does not hold.
sent8 -> int9: that the fact that the mugwump does not volley and/or is not a Stercorariidae is not right is true if it singles.; sent2 -> int10: the mugwump is a flood and a singles if it is not a sacrifice.; sent5 -> int11: the franklin is not gluteal if that it is both gluteal and not a duct does not hold.; sent9 & sent17 -> int12: the tambour shrugs.; sent6 -> int13: that there is something such that that it does not trice acrylic and is not a Ajaia does not hold is correct.;
$hypothesis$ = that either the mugwump is not a kind of a volley or it is not a Stercorariidae or both is correct. ; $context$ = sent1: the franklin is a flood. sent2: something is a flood and a singles if it does not sacrifice. sent3: the tambour is not a sacrifice if there is something such that it is a kind of a singles that does flood. sent4: the mugwump is a volley and/or not a Stercorariidae. sent5: if the fact that something is not non-gluteal but it is not a kind of a duct is incorrect then it is not non-gluteal. sent6: the fact that the tonic does not trice acrylic and it is not a Ajaia is not correct. sent7: if the tambour is a shrug and not non-topological then the franklin is not a kind of a shrug. sent8: the fact that something does not volley and/or it is not a Stercorariidae does not hold if it is a kind of a singles. sent9: if the fact that the tambour is a kind of a Vaux is not wrong it shrugs. sent10: if there is something such that it does sacrifice the fact that the tambour is not a kind of a boring and is not a sacrifice does not hold. sent11: the fact that there is something such that it is a backpack is not wrong. sent12: that the dhawa is not nonresidential hold if the franklin is not nonresidential. sent13: that the franklin is gluteal but it is not a duct does not hold if it does not shrug. sent14: if the franklin is not gluteal then the mugwump is not a sacrifice and it is not a boring. sent15: if the franklin is non-singles then the mugwump is not a kind of a volley. sent16: the tambour is not a boring. sent17: the tambour is a kind of a Vaux. sent18: something does sacrifice. ; $proof$ = 
void -> assump1: Let's assume that the franklin is singles.; assump1 & sent1 -> int1: the franklin singles and it is a flood.; int1 -> int2: something does single and it does flood.; int2 & sent3 -> int3: the tambour is not a sacrifice.; int3 & sent16 -> int4: the tambour is not a boring and it is not a sacrifice.; sent18 & sent10 -> int5: that the tambour is not a boring and is not a sacrifice is not true.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the franklin is not a singles.; int7 & sent15 -> int8: the mugwump is not a volley.; int8 -> hypothesis; __PROVED__