that the transmutation occurs if the fact that the bioassay occurs is correct does not hold.
sent1: the premiere occurs. sent2: if the cross-examination does not occur but the bioassay happens then the Germanism happens. sent3: the cross-examination happens and/or the premiere happens. sent4: if the Germanism happens then the transmutation happens. sent5: that either the cross-examination occurs or the premiere does not occur or both is not correct. sent6: the fact that the Creation and/or the extensileness happens is incorrect. sent7: both the non-goodness and the marbles happens.
void -> assump2: Let's assume that the cross-examination happens.; assump2 -> int1: the cross-examination happens and/or the premiere does not occur.; int1 & sent5 -> int2: this is contradiction.; [assump2] & int2 -> int3: the cross-examination does not occur.; void -> assump1: Let's assume that the bioassay happens.; int3 & assump1 -> int4: the fact that not the cross-examination but the bioassay happens is correct.; sent2 & int4 -> int5: the Germanism occurs.; sent4 & int5 -> int6: the transmutation happens.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the transmutation occurs if the fact that the bioassay occurs is correct does not hold. ; $context$ = sent1: the premiere occurs. sent2: if the cross-examination does not occur but the bioassay happens then the Germanism happens. sent3: the cross-examination happens and/or the premiere happens. sent4: if the Germanism happens then the transmutation happens. sent5: that either the cross-examination occurs or the premiere does not occur or both is not correct. sent6: the fact that the Creation and/or the extensileness happens is incorrect. sent7: both the non-goodness and the marbles happens. ; $proof$ = 
void -> assump2: Let's assume that the cross-examination happens.; assump2 -> int1: the cross-examination happens and/or the premiere does not occur.; int1 & sent5 -> int2: this is contradiction.; [assump2] & int2 -> int3: the cross-examination does not occur.; void -> assump1: Let's assume that the bioassay happens.; int3 & assump1 -> int4: the fact that not the cross-examination but the bioassay happens is correct.; sent2 & int4 -> int5: the Germanism occurs.; sent4 & int5 -> int6: the transmutation happens.; [assump1] & int6 -> hypothesis; __DISPROVED__