the rivaling Siva happens.
sent1: the shooting Assam does not occur if that not the SOP but the Tantricness occurs is wrong. sent2: that the Tantricness does not occur hold if the fact that the hypoglycemicness does not occur and/or the pharmacologicalness happens does not hold. sent3: if that the LASIK occurs is not false then the rivaling Siva occurs. sent4: if the pharmacologicalness occurs the SOP does not occur. sent5: that the SOP does not occur is brought about by the non-hypoglycemicness and/or the pharmacologicalness. sent6: both the Tantricness and the Scrabble happens. sent7: that the Scrabble occurs is true. sent8: if the SOP occurs that the non-Tantricness and the rivaling Siva occurs is not right. sent9: the rivaling amigo occurs.
void -> assump1: Let's assume that that either the hypoglycemicness does not occur or the pharmacologicalness occurs or both does not hold.; sent2 & assump1 -> int1: the Tantricness does not occur.; sent6 -> int2: the Tantricness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the non-hypoglycemicness or the pharmacologicalness or both happens.; int4 & sent5 -> int5: the SOP does not occur.; int5 & sent9 -> int6: the SOP does not occur but the rivaling amigo happens.;
the rivaling Siva does not occur.
$hypothesis$ = the rivaling Siva happens. ; $context$ = sent1: the shooting Assam does not occur if that not the SOP but the Tantricness occurs is wrong. sent2: that the Tantricness does not occur hold if the fact that the hypoglycemicness does not occur and/or the pharmacologicalness happens does not hold. sent3: if that the LASIK occurs is not false then the rivaling Siva occurs. sent4: if the pharmacologicalness occurs the SOP does not occur. sent5: that the SOP does not occur is brought about by the non-hypoglycemicness and/or the pharmacologicalness. sent6: both the Tantricness and the Scrabble happens. sent7: that the Scrabble occurs is true. sent8: if the SOP occurs that the non-Tantricness and the rivaling Siva occurs is not right. sent9: the rivaling amigo occurs. ; $proof$ = 
void -> assump1: Let's assume that that either the hypoglycemicness does not occur or the pharmacologicalness occurs or both does not hold.; sent2 & assump1 -> int1: the Tantricness does not occur.; sent6 -> int2: the Tantricness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the non-hypoglycemicness or the pharmacologicalness or both happens.; int4 & sent5 -> int5: the SOP does not occur.; int5 & sent9 -> int6: the SOP does not occur but the rivaling amigo happens.; __UNKNOWN__