the Nasturtium disrespects Rhizopogon.
sent1: the quilting is a kind of a subornation. sent2: the chlorination is a subornation. sent3: that the foxglove is a kind of a subornation is not wrong if the fact that the quilting is a subornation is not wrong. sent4: the foxglove is nautical. sent5: there exists something such that either it does not disrespect Rhizopogon or it is a subornation or both. sent6: if there exists something such that it is not a kind of a charterhouse and/or it is not nautical then the foxglove is not a subornation. sent7: that the Nasturtium disrespects Rhizopogon is right if the fact that the chlorination is either not a charterhouse or not nautical or both is false. sent8: there exists something such that either it is a subornation or it is not a charterhouse or both.
void -> assump1: Let's assume that the chlorination is not a kind of a charterhouse or it is non-nautical or both.; assump1 -> int1: there exists something such that either it is not a charterhouse or it is not nautical or both.; int1 & sent6 -> int2: the foxglove is not a kind of a subornation.; sent3 & sent1 -> int3: that the foxglove is a kind of a subornation is correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the chlorination is not a charterhouse and/or it is not nautical is false.; int5 & sent7 -> hypothesis;
$hypothesis$ = the Nasturtium disrespects Rhizopogon. ; $context$ = sent1: the quilting is a kind of a subornation. sent2: the chlorination is a subornation. sent3: that the foxglove is a kind of a subornation is not wrong if the fact that the quilting is a subornation is not wrong. sent4: the foxglove is nautical. sent5: there exists something such that either it does not disrespect Rhizopogon or it is a subornation or both. sent6: if there exists something such that it is not a kind of a charterhouse and/or it is not nautical then the foxglove is not a subornation. sent7: that the Nasturtium disrespects Rhizopogon is right if the fact that the chlorination is either not a charterhouse or not nautical or both is false. sent8: there exists something such that either it is a subornation or it is not a charterhouse or both. ; $proof$ = 
void -> assump1: Let's assume that the chlorination is not a kind of a charterhouse or it is non-nautical or both.; assump1 -> int1: there exists something such that either it is not a charterhouse or it is not nautical or both.; int1 & sent6 -> int2: the foxglove is not a kind of a subornation.; sent3 & sent1 -> int3: that the foxglove is a kind of a subornation is correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the chlorination is not a charterhouse and/or it is not nautical is false.; int5 & sent7 -> hypothesis; __PROVED__