if the gurgling happens then the ornamentalism does not occur.
sent1: that the ornamentalism and/or the self-pollination occurs prevents that the gurgle does not occur. sent2: the ornamentalism occurs if the gurgle happens. sent3: the self-pollination results in that the gurgling does not occur. sent4: if the ornamentalism and/or the self-pollination happens then the gurgle does not occur. sent5: either the monisticness or the spatter or both results in the nonfeasance.
void -> assump1: Let's assume that the ornamentalism happens.; assump1 -> int1: the ornamentalism happens and/or the self-pollination happens.; int1 & sent4 -> int2: the gurgling does not occur.; void -> assump2: Let's assume that the gurgle happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ornamentalism does not occur.; [assump2] & int4 -> hypothesis;
$hypothesis$ = if the gurgling happens then the ornamentalism does not occur. ; $context$ = sent1: that the ornamentalism and/or the self-pollination occurs prevents that the gurgle does not occur. sent2: the ornamentalism occurs if the gurgle happens. sent3: the self-pollination results in that the gurgling does not occur. sent4: if the ornamentalism and/or the self-pollination happens then the gurgle does not occur. sent5: either the monisticness or the spatter or both results in the nonfeasance. ; $proof$ = 
void -> assump1: Let's assume that the ornamentalism happens.; assump1 -> int1: the ornamentalism happens and/or the self-pollination happens.; int1 & sent4 -> int2: the gurgling does not occur.; void -> assump2: Let's assume that the gurgle happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ornamentalism does not occur.; [assump2] & int4 -> hypothesis; __PROVED__