the technophilicness happens if the stoking Giraudoux happens.
sent1: the stoking Giraudoux does not occur if the temptation happens. sent2: that the Secession occurs and/or that the temptation occurs results in that the stoking Giraudoux does not occur. sent3: the temptation does not occur if the Secession does not occur and the stoking Giraudoux does not occur. sent4: that the Secession happens and/or the temptation triggers the stoking Giraudoux. sent5: if the fact that the stoking Dipylon but not the MArch occurs is not wrong the Secession occurs. sent6: that the stoking Dipylon occurs but the MArch does not occur is wrong. sent7: if the stoking Dipylon happens the technophilicness occurs. sent8: the stoking Dipylon does not occur. sent9: that the stoking Dipylon does not occur and the MArch does not occur triggers the Secession. sent10: if the fact that the technophilicness and the prefabrication occurs is wrong the technophilicness does not occur. sent11: if that the stoking Dipylon does not occur and the MArch does not occur is false then the technophilicness happens. sent12: if the unaggressiveness does not occur that the technophilicness and the prefabrication happens is wrong. sent13: that the shaving happens or that the cloistering underboss happens or both prevents the cloistering iconology. sent14: if the temptation does not occur that the microwaving does not occur and the cloistering lukewarmness does not occur is incorrect. sent15: the chirring happens.
void -> assump2: Let's assume that the stoking Giraudoux occurs.; void -> assump1: Let's assume that the stoking Dipylon does not occur and the MArch does not occur.; sent9 & assump1 -> int1: the Secession occurs.; int1 -> int2: the Secession occurs and/or the temptation occurs.; sent2 & int2 -> int3: the stoking Giraudoux does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the stoking Dipylon does not occur and the MArch does not occur does not hold.; sent11 & int5 -> int6: the technophilicness occurs.; [assump2] & int6 -> hypothesis;
that the microwaving does not occur and the cloistering lukewarmness does not occur does not hold.
$hypothesis$ = the technophilicness happens if the stoking Giraudoux happens. ; $context$ = sent1: the stoking Giraudoux does not occur if the temptation happens. sent2: that the Secession occurs and/or that the temptation occurs results in that the stoking Giraudoux does not occur. sent3: the temptation does not occur if the Secession does not occur and the stoking Giraudoux does not occur. sent4: that the Secession happens and/or the temptation triggers the stoking Giraudoux. sent5: if the fact that the stoking Dipylon but not the MArch occurs is not wrong the Secession occurs. sent6: that the stoking Dipylon occurs but the MArch does not occur is wrong. sent7: if the stoking Dipylon happens the technophilicness occurs. sent8: the stoking Dipylon does not occur. sent9: that the stoking Dipylon does not occur and the MArch does not occur triggers the Secession. sent10: if the fact that the technophilicness and the prefabrication occurs is wrong the technophilicness does not occur. sent11: if that the stoking Dipylon does not occur and the MArch does not occur is false then the technophilicness happens. sent12: if the unaggressiveness does not occur that the technophilicness and the prefabrication happens is wrong. sent13: that the shaving happens or that the cloistering underboss happens or both prevents the cloistering iconology. sent14: if the temptation does not occur that the microwaving does not occur and the cloistering lukewarmness does not occur is incorrect. sent15: the chirring happens. ; $proof$ = 
void -> assump2: Let's assume that the stoking Giraudoux occurs.; void -> assump1: Let's assume that the stoking Dipylon does not occur and the MArch does not occur.; sent9 & assump1 -> int1: the Secession occurs.; int1 -> int2: the Secession occurs and/or the temptation occurs.; sent2 & int2 -> int3: the stoking Giraudoux does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the stoking Dipylon does not occur and the MArch does not occur does not hold.; sent11 & int5 -> int6: the technophilicness occurs.; [assump2] & int6 -> hypothesis; __PROVED__