the fact that there is something such that if it does not repress Xavier the fact that it samples Steinberg and/or it is not shrinkable is wrong is not correct.
sent1: if the cresol does not repress Xavier then it samples Steinberg and/or it is not shrinkable. sent2: the fact that the cresol does sample Steinberg and/or is shrinkable is not true. sent3: the cresol does repress Xavier if it samples Steinberg or is not shrinkable or both.
void -> assump1: Let's assume that the cresol samples Steinberg or it is not shrinkable or both.; sent3 & assump1 -> int1: the cresol represses Xavier.; void -> assump2: Let's assume that the cresol does not repress Xavier.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the cresol does sample Steinberg and/or it is not shrinkable is incorrect.; [assump2] & int3 -> int4: the fact that that the cresol either samples Steinberg or is not shrinkable or both is not false is false if it does not repress Xavier.; int4 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does not repress Xavier the fact that it samples Steinberg and/or it is not shrinkable is wrong is not correct. ; $context$ = sent1: if the cresol does not repress Xavier then it samples Steinberg and/or it is not shrinkable. sent2: the fact that the cresol does sample Steinberg and/or is shrinkable is not true. sent3: the cresol does repress Xavier if it samples Steinberg or is not shrinkable or both. ; $proof$ = 
void -> assump1: Let's assume that the cresol samples Steinberg or it is not shrinkable or both.; sent3 & assump1 -> int1: the cresol represses Xavier.; void -> assump2: Let's assume that the cresol does not repress Xavier.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the cresol does sample Steinberg and/or it is not shrinkable is incorrect.; [assump2] & int3 -> int4: the fact that that the cresol either samples Steinberg or is not shrinkable or both is not false is false if it does not repress Xavier.; int4 -> hypothesis; __DISPROVED__