the fact that the pegging warner prevents the lutealness is not right.
sent1: that the pegging warner occurs is prevented by the lutealness or that the sericulture occurs or both.
void -> assump1: Let's assume that the lutealness happens.; assump1 -> int1: the lutealness occurs and/or the sericulture happens.; int1 & sent1 -> int2: that the pegging warner does not occur is not false.; void -> assump2: Let's assume that the pegging warner occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the lutealness does not occur.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the fact that the pegging warner prevents the lutealness is not right. ; $context$ = sent1: that the pegging warner occurs is prevented by the lutealness or that the sericulture occurs or both. ; $proof$ = 
void -> assump1: Let's assume that the lutealness happens.; assump1 -> int1: the lutealness occurs and/or the sericulture happens.; int1 & sent1 -> int2: that the pegging warner does not occur is not false.; void -> assump2: Let's assume that the pegging warner occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the lutealness does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__