the non-Germanness and the non-calcifugousness happens.
sent1: the intolerantness does not occur. sent2: that the intolerantness does not occur triggers that the accordance does not occur. sent3: the accordance does not occur and the calcifugousness does not occur if the intolerantness does not occur. sent4: if the calcifugousness occurs that not the bagatelle but the levorotation happens is wrong. sent5: the gastromy occurs. sent6: the accordance does not occur. sent7: that the muciferousness and the German happens is caused by the non-epilithicness. sent8: that the diametralness occurs and the discipleship does not occur does not hold. sent9: the epilithicness occurs. sent10: the bagatelle does not occur if that the levorotation does not occur is right. sent11: the non-diametralness yields that both the bagatelle and the gastromy happens. sent12: if the Germanness occurs and the epilithicness occurs then the levorotation does not occur. sent13: the diametralness does not occur if that the diametralness happens but the discipleship does not occur does not hold. sent14: if the epilithicness does not occur then the fact that the non-Germanness and the non-calcifugousness occurs is incorrect. sent15: that the diametralness does not occur brings about that the gastromy occurs.
void -> assump1: Let's assume that the Germanness happens.; assump1 & sent9 -> int1: the German occurs and the epilithicness happens.; int1 & sent12 -> int2: the levorotation does not occur.; int2 & sent10 -> int3: the fact that the bagatelle does not occur is correct.; sent13 & sent8 -> int4: the diametralness does not occur.; sent11 & int4 -> int5: the bagatelle and the gastromy occurs.; int5 -> int6: the bagatelle occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the German does not occur.; sent3 & sent1 -> int9: the accordance does not occur and the calcifugousness does not occur.; int9 -> int10: the calcifugousness does not occur.; int8 & int10 -> hypothesis;
that the non-Germanness and the non-calcifugousness occurs does not hold.
$hypothesis$ = the non-Germanness and the non-calcifugousness happens. ; $context$ = sent1: the intolerantness does not occur. sent2: that the intolerantness does not occur triggers that the accordance does not occur. sent3: the accordance does not occur and the calcifugousness does not occur if the intolerantness does not occur. sent4: if the calcifugousness occurs that not the bagatelle but the levorotation happens is wrong. sent5: the gastromy occurs. sent6: the accordance does not occur. sent7: that the muciferousness and the German happens is caused by the non-epilithicness. sent8: that the diametralness occurs and the discipleship does not occur does not hold. sent9: the epilithicness occurs. sent10: the bagatelle does not occur if that the levorotation does not occur is right. sent11: the non-diametralness yields that both the bagatelle and the gastromy happens. sent12: if the Germanness occurs and the epilithicness occurs then the levorotation does not occur. sent13: the diametralness does not occur if that the diametralness happens but the discipleship does not occur does not hold. sent14: if the epilithicness does not occur then the fact that the non-Germanness and the non-calcifugousness occurs is incorrect. sent15: that the diametralness does not occur brings about that the gastromy occurs. ; $proof$ = 
void -> assump1: Let's assume that the Germanness happens.; assump1 & sent9 -> int1: the German occurs and the epilithicness happens.; int1 & sent12 -> int2: the levorotation does not occur.; int2 & sent10 -> int3: the fact that the bagatelle does not occur is correct.; sent13 & sent8 -> int4: the diametralness does not occur.; sent11 & int4 -> int5: the bagatelle and the gastromy occurs.; int5 -> int6: the bagatelle occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the German does not occur.; sent3 & sent1 -> int9: the accordance does not occur and the calcifugousness does not occur.; int9 -> int10: the calcifugousness does not occur.; int8 & int10 -> hypothesis; __PROVED__