the theming Shiite happens.
sent1: the alliaceousness does not occur. sent2: not the fete but the theming Shiite happens if the remonstrating conventionalization does not occur. sent3: the remonstrating conventionalization occurs. sent4: the remonstrating diplomat and the monocarpicness happens if the alliaceousness does not occur. sent5: that not the remonstrating diplomat but the remonstrating conventionalization occurs results in that the theming Shiite happens. sent6: if both the theming Shiite and the remonstrating conventionalization happens then the remonstrating diplomat does not occur. sent7: that the Service does not occur leads to that the monocarpicness and the alliaceousness occurs.
void -> assump1: Let's assume that that the theming Shiite happens hold.; assump1 & sent3 -> int1: both the theming Shiite and the remonstrating conventionalization occurs.; int1 & sent6 -> int2: the remonstrating diplomat does not occur.; sent4 & sent1 -> int3: both the remonstrating diplomat and the monocarpicness occurs.; int3 -> int4: the remonstrating diplomat happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the theming Shiite happens.
$hypothesis$ = the theming Shiite happens. ; $context$ = sent1: the alliaceousness does not occur. sent2: not the fete but the theming Shiite happens if the remonstrating conventionalization does not occur. sent3: the remonstrating conventionalization occurs. sent4: the remonstrating diplomat and the monocarpicness happens if the alliaceousness does not occur. sent5: that not the remonstrating diplomat but the remonstrating conventionalization occurs results in that the theming Shiite happens. sent6: if both the theming Shiite and the remonstrating conventionalization happens then the remonstrating diplomat does not occur. sent7: that the Service does not occur leads to that the monocarpicness and the alliaceousness occurs. ; $proof$ = 
void -> assump1: Let's assume that that the theming Shiite happens hold.; assump1 & sent3 -> int1: both the theming Shiite and the remonstrating conventionalization occurs.; int1 & sent6 -> int2: the remonstrating diplomat does not occur.; sent4 & sent1 -> int3: both the remonstrating diplomat and the monocarpicness occurs.; int3 -> int4: the remonstrating diplomat happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__