that both the thundering and the proposing cysteine happens is not true.
sent1: the reacting occurs. sent2: if the reacting occurs the thundering occurs. sent3: the adding and the proposing cysteine happens.
sent2 & sent1 -> int1: the thundering occurs.; sent3 -> int2: the proposing cysteine happens.; int1 & int2 -> hypothesis;
$hypothesis$ = that both the thundering and the proposing cysteine happens is not true. ; $context$ = sent1: the reacting occurs. sent2: if the reacting occurs the thundering occurs. sent3: the adding and the proposing cysteine happens. ; $proof$ = 
sent2 & sent1 -> int1: the thundering occurs.; sent3 -> int2: the proposing cysteine happens.; int1 & int2 -> hypothesis; __DISPROVED__