the jihad does not occur.
sent1: if the jihad happens then the rating occurs. sent2: the gesticulating autoradiography happens. sent3: the chess happens and the gesticulating autoradiography occurs. sent4: if the syllogisticness occurs the fact that the fact that the gesticulating autoradiography does not occur and the professorship does not occur is incorrect is not wrong. sent5: the professorship does not occur if both the chess and the rating occurs. sent6: the professorship happens.
void -> assump1: Let's assume that the jihad happens.; sent1 & assump1 -> int1: the rating happens.; sent3 -> int2: the chess occurs.; int1 & int2 -> int3: the chess occurs and the rating happens.; int3 & sent5 -> int4: the professorship does not occur.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the fact that the gesticulating Coccidae occurs hold.
$hypothesis$ = the jihad does not occur. ; $context$ = sent1: if the jihad happens then the rating occurs. sent2: the gesticulating autoradiography happens. sent3: the chess happens and the gesticulating autoradiography occurs. sent4: if the syllogisticness occurs the fact that the fact that the gesticulating autoradiography does not occur and the professorship does not occur is incorrect is not wrong. sent5: the professorship does not occur if both the chess and the rating occurs. sent6: the professorship happens. ; $proof$ = 
void -> assump1: Let's assume that the jihad happens.; sent1 & assump1 -> int1: the rating happens.; sent3 -> int2: the chess occurs.; int1 & int2 -> int3: the chess occurs and the rating happens.; int3 & sent5 -> int4: the professorship does not occur.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__