that that not the fine but the harvesting occurs is brought about by that the wingback does not occur does not hold.
sent1: the harvest and the full-timeness occurs. sent2: that not the Monacanness but the Yumanness occurs prevents that the narrating presentment happens. sent3: if the fact that the cutinizing silvervine does not occur and the wingback does not occur hold the narrating presentment happens. sent4: that that the cutinizing silvervine does not occur and the show-stopper does not occur is brought about by the fine is right. sent5: both the non-Monacanness and the Yumanness happens.
void -> assump2: Let's assume that the fine happens.; sent4 & assump2 -> int1: the cutinizing silvervine does not occur and the show-stopper does not occur.; int1 -> int2: that the cutinizing silvervine does not occur hold.; void -> assump1: Let's assume that the wingback does not occur.; int2 & assump1 -> int3: the cutinizing silvervine does not occur and the wingback does not occur.; int3 & sent3 -> int4: the narrating presentment occurs.; sent2 & sent5 -> int5: the narrating presentment does not occur.; int4 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: the fineness does not occur.; sent1 -> int8: the harvesting occurs.; int7 & int8 -> int9: not the fineness but the harvesting occurs.; [assump1] & int9 -> hypothesis;
$hypothesis$ = that that not the fine but the harvesting occurs is brought about by that the wingback does not occur does not hold. ; $context$ = sent1: the harvest and the full-timeness occurs. sent2: that not the Monacanness but the Yumanness occurs prevents that the narrating presentment happens. sent3: if the fact that the cutinizing silvervine does not occur and the wingback does not occur hold the narrating presentment happens. sent4: that that the cutinizing silvervine does not occur and the show-stopper does not occur is brought about by the fine is right. sent5: both the non-Monacanness and the Yumanness happens. ; $proof$ = 
void -> assump2: Let's assume that the fine happens.; sent4 & assump2 -> int1: the cutinizing silvervine does not occur and the show-stopper does not occur.; int1 -> int2: that the cutinizing silvervine does not occur hold.; void -> assump1: Let's assume that the wingback does not occur.; int2 & assump1 -> int3: the cutinizing silvervine does not occur and the wingback does not occur.; int3 & sent3 -> int4: the narrating presentment occurs.; sent2 & sent5 -> int5: the narrating presentment does not occur.; int4 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: the fineness does not occur.; sent1 -> int8: the harvesting occurs.; int7 & int8 -> int9: not the fineness but the harvesting occurs.; [assump1] & int9 -> hypothesis; __DISPROVED__