there is something such that it does not incriminate Morgantown.
sent1: the masquerade does permeate. sent2: the ascomycete does not permeate if the sociologist is a quad and it is a kind of a microbalance. sent3: the sociologist is a kind of a Funk but it is not a radioimmunoassay. sent4: something does not assail ascomycete if it is not a quad and does incriminate Morgantown. sent5: the sociologist is a pockmark. sent6: there is something such that it incriminates Morgantown. sent7: if the masquerade pockmarks it does assail spirochete. sent8: the fact that the sociologist is not a quad is true if the masquerade is nautical and it is aroid. sent9: if the ascomycete permeates the sociologist assails ascomycete. sent10: the bathymeter is a quad and is a kind of a harvest. sent11: the sociologist is aroid. sent12: if the bathymeter is reverberant then the ascomycete does pockmark. sent13: the masquerade assails spirochete. sent14: the masquerade is aroid and it assails spirochete. sent15: the masquerade is not a microbalance. sent16: that the ascomycete permeates if the ascomycete pockmarks is right. sent17: if the sociologist is reverberant then the bathymeter is a kind of a quad. sent18: something is reverberant. sent19: the ascomycete is nautical. sent20: if the sociologist permeates it incriminates Morgantown. sent21: the masquerade is not a pockmark. sent22: the masquerade is nautical thing that is not a microbalance. sent23: the bathymeter is reverberant.
sent22 -> int1: the fact that the masquerade is nautical is true.; sent14 -> int2: the masquerade is aroid.; int1 & int2 -> int3: the masquerade is both nautical and not non-aroid.; int3 & sent8 -> int4: the sociologist is not a quad.; void -> assump1: Let's assume that the sociologist incriminates Morgantown.; int4 & assump1 -> int5: the sociologist is not a quad and incriminates Morgantown.; sent4 -> int6: if the sociologist is not a quad and does incriminate Morgantown that it does not assail ascomycete is right.; int5 & int6 -> int7: the sociologist does not assail ascomycete.; sent12 & sent23 -> int8: the ascomycete does pockmark.; sent16 & int8 -> int9: the ascomycete does permeate.; sent9 & int9 -> int10: the sociologist assails ascomycete.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the fact that the sociologist does not incriminate Morgantown hold.; int12 -> hypothesis;
$hypothesis$ = there is something such that it does not incriminate Morgantown. ; $context$ = sent1: the masquerade does permeate. sent2: the ascomycete does not permeate if the sociologist is a quad and it is a kind of a microbalance. sent3: the sociologist is a kind of a Funk but it is not a radioimmunoassay. sent4: something does not assail ascomycete if it is not a quad and does incriminate Morgantown. sent5: the sociologist is a pockmark. sent6: there is something such that it incriminates Morgantown. sent7: if the masquerade pockmarks it does assail spirochete. sent8: the fact that the sociologist is not a quad is true if the masquerade is nautical and it is aroid. sent9: if the ascomycete permeates the sociologist assails ascomycete. sent10: the bathymeter is a quad and is a kind of a harvest. sent11: the sociologist is aroid. sent12: if the bathymeter is reverberant then the ascomycete does pockmark. sent13: the masquerade assails spirochete. sent14: the masquerade is aroid and it assails spirochete. sent15: the masquerade is not a microbalance. sent16: that the ascomycete permeates if the ascomycete pockmarks is right. sent17: if the sociologist is reverberant then the bathymeter is a kind of a quad. sent18: something is reverberant. sent19: the ascomycete is nautical. sent20: if the sociologist permeates it incriminates Morgantown. sent21: the masquerade is not a pockmark. sent22: the masquerade is nautical thing that is not a microbalance. sent23: the bathymeter is reverberant. ; $proof$ = 
sent22 -> int1: the fact that the masquerade is nautical is true.; sent14 -> int2: the masquerade is aroid.; int1 & int2 -> int3: the masquerade is both nautical and not non-aroid.; int3 & sent8 -> int4: the sociologist is not a quad.; void -> assump1: Let's assume that the sociologist incriminates Morgantown.; int4 & assump1 -> int5: the sociologist is not a quad and incriminates Morgantown.; sent4 -> int6: if the sociologist is not a quad and does incriminate Morgantown that it does not assail ascomycete is right.; int5 & int6 -> int7: the sociologist does not assail ascomycete.; sent12 & sent23 -> int8: the ascomycete does pockmark.; sent16 & int8 -> int9: the ascomycete does permeate.; sent9 & int9 -> int10: the sociologist assails ascomycete.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the fact that the sociologist does not incriminate Morgantown hold.; int12 -> hypothesis; __PROVED__