the colonnade does not freckle sewellel.
sent1: there are Nigerian things. sent2: if the fact that something is an error is not wrong it does not freckle sewellel. sent3: the bride is a kind of an error. sent4: the fact that the bride does not mismanage Porcellio is not false if it is not a nympholept. sent5: something that does not mismanage Porcellio is an error. sent6: the colonnade does freckle sewellel if there is something such that it is not a Nigerian. sent7: something is an error but it is not a Nigerian if it does not mismanage Porcellio. sent8: the fact that the Shetland is an error is not wrong. sent9: the bride is an error if it does not mismanage Porcellio. sent10: that the bride is an ovary and is a nympholept does not hold. sent11: that the colonnade does mismanage Porcellio and it is colloidal is not true. sent12: if that the bride is not inconsiderable and it is not a kind of a Nigerian is not true then it is a kind of a Nigerian. sent13: that the bride does not mismanage Porcellio if that the bride is an ovary and a nympholept is false hold.
sent13 & sent10 -> int1: the bride does not mismanage Porcellio.; sent7 -> int2: the bride is both an error and not Nigerian if the fact that it does not mismanage Porcellio hold.; int1 & int2 -> int3: the bride is an error that is not a Nigerian.; int3 -> int4: the bride is not a kind of a Nigerian.; int4 -> int5: there exists something such that that it is a Nigerian is not correct.; int5 & sent6 -> hypothesis;
the colonnade does not freckle sewellel.
sent2 -> int6: if the colonnade is an error then it does not freckle sewellel.;
$hypothesis$ = the colonnade does not freckle sewellel. ; $context$ = sent1: there are Nigerian things. sent2: if the fact that something is an error is not wrong it does not freckle sewellel. sent3: the bride is a kind of an error. sent4: the fact that the bride does not mismanage Porcellio is not false if it is not a nympholept. sent5: something that does not mismanage Porcellio is an error. sent6: the colonnade does freckle sewellel if there is something such that it is not a Nigerian. sent7: something is an error but it is not a Nigerian if it does not mismanage Porcellio. sent8: the fact that the Shetland is an error is not wrong. sent9: the bride is an error if it does not mismanage Porcellio. sent10: that the bride is an ovary and is a nympholept does not hold. sent11: that the colonnade does mismanage Porcellio and it is colloidal is not true. sent12: if that the bride is not inconsiderable and it is not a kind of a Nigerian is not true then it is a kind of a Nigerian. sent13: that the bride does not mismanage Porcellio if that the bride is an ovary and a nympholept is false hold. ; $proof$ = 
sent13 & sent10 -> int1: the bride does not mismanage Porcellio.; sent7 -> int2: the bride is both an error and not Nigerian if the fact that it does not mismanage Porcellio hold.; int1 & int2 -> int3: the bride is an error that is not a Nigerian.; int3 -> int4: the bride is not a kind of a Nigerian.; int4 -> int5: there exists something such that that it is a Nigerian is not correct.; int5 & sent6 -> hypothesis; __DISPROVED__