if the wank is a Brazil the anathema does not reseed.
sent1: if the wank is a Brazil then it does play wank. sent2: the anathema does not reseed if the Wright plays tribology. sent3: the fact that that the Wright is not a Montserratian and it does not play tribology hold is not correct if something plays wank. sent4: the Wright is not a Brazil if the fact that the wank plays tribology is not wrong. sent5: the anathema does not reseed if that the Wright is not Montserratian and does not play tribology is not true.
void -> assump1: Let's assume that the wank is a kind of a Brazil.; sent1 & assump1 -> int1: the wank does play wank.; int1 -> int2: there is something such that the fact that it plays wank is correct.; int2 & sent3 -> int3: the fact that the Wright is not a Montserratian and it does not play tribology is false.; sent5 & int3 -> int4: the anathema does not reseed.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the wank is a Brazil the anathema does not reseed. ; $context$ = sent1: if the wank is a Brazil then it does play wank. sent2: the anathema does not reseed if the Wright plays tribology. sent3: the fact that that the Wright is not a Montserratian and it does not play tribology hold is not correct if something plays wank. sent4: the Wright is not a Brazil if the fact that the wank plays tribology is not wrong. sent5: the anathema does not reseed if that the Wright is not Montserratian and does not play tribology is not true. ; $proof$ = 
void -> assump1: Let's assume that the wank is a kind of a Brazil.; sent1 & assump1 -> int1: the wank does play wank.; int1 -> int2: there is something such that the fact that it plays wank is correct.; int2 & sent3 -> int3: the fact that the Wright is not a Montserratian and it does not play tribology is false.; sent5 & int3 -> int4: the anathema does not reseed.; [assump1] & int4 -> hypothesis; __PROVED__