the rainmaker is not an affine but it does exhibit.
sent1: the rainmaker is not an affine. sent2: if there is something such that it is not a kind of a cryptogam that the GB frets smoothbore and is not a anorchism is incorrect. sent3: that the GB does fret smoothbore and it is balletic is false. sent4: something is not a kind of an affine but it is an exhibit if it is tonal. sent5: the rainmaker is tonal if there exists something such that the fact that it does fret smoothbore and is not a anorchism does not hold. sent6: the GB does not fret smoothbore if the rainmaker is not a kind of an affine but it is an exhibit. sent7: the fact that the GB is not a kind of an affine but it does fret smoothbore is not true. sent8: that the GB frets smoothbore and does exhibit does not hold. sent9: The smoothbore does fret GB. sent10: the GB does fret smoothbore.
void -> assump1: Let's assume that the rainmaker is not affine but it is an exhibit.; sent6 & assump1 -> int1: the GB does not fret smoothbore.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the rainmaker is not a kind of an affine and is a kind of an exhibit.
sent4 -> int3: if the rainmaker is tonal it is a kind of non-affine an exhibit.;
$hypothesis$ = the rainmaker is not an affine but it does exhibit. ; $context$ = sent1: the rainmaker is not an affine. sent2: if there is something such that it is not a kind of a cryptogam that the GB frets smoothbore and is not a anorchism is incorrect. sent3: that the GB does fret smoothbore and it is balletic is false. sent4: something is not a kind of an affine but it is an exhibit if it is tonal. sent5: the rainmaker is tonal if there exists something such that the fact that it does fret smoothbore and is not a anorchism does not hold. sent6: the GB does not fret smoothbore if the rainmaker is not a kind of an affine but it is an exhibit. sent7: the fact that the GB is not a kind of an affine but it does fret smoothbore is not true. sent8: that the GB frets smoothbore and does exhibit does not hold. sent9: The smoothbore does fret GB. sent10: the GB does fret smoothbore. ; $proof$ = 
void -> assump1: Let's assume that the rainmaker is not affine but it is an exhibit.; sent6 & assump1 -> int1: the GB does not fret smoothbore.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__