that if the snapper airs then that that the nutrient is a Reid and is not a siding is incorrect is right is not right.
sent1: the fact that the nutrient is a Reid that is not a siding is incorrect if the fact that the coccobacillus is not a Reid hold. sent2: the coccobacillus is not a Reid if either the snapper is stimulative or it airs or both.
void -> assump1: Let's assume that the snapper airs.; assump1 -> int1: that the snapper is either stimulative or an aired or both hold.; sent2 & int1 -> int2: the coccobacillus is not a Reid.; sent1 & int2 -> int3: that the nutrient is a Reid and is not a siding is not right.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the snapper airs then that that the nutrient is a Reid and is not a siding is incorrect is right is not right. ; $context$ = sent1: the fact that the nutrient is a Reid that is not a siding is incorrect if the fact that the coccobacillus is not a Reid hold. sent2: the coccobacillus is not a Reid if either the snapper is stimulative or it airs or both. ; $proof$ = 
void -> assump1: Let's assume that the snapper airs.; assump1 -> int1: that the snapper is either stimulative or an aired or both hold.; sent2 & int1 -> int2: the coccobacillus is not a Reid.; sent1 & int2 -> int3: that the nutrient is a Reid and is not a siding is not right.; [assump1] & int3 -> hypothesis; __DISPROVED__