the nodding microsporangium does not occur.
sent1: that the circuiting happens results in that the pogrom happens. sent2: the circuit happens if the fact that the craniometricness but not the manorialness happens is false. sent3: both the crooking bolide and the attentiveness occurs. sent4: the crooking telephotography occurs and the Laosness occurs. sent5: if the crooking bolide occurs then the sit-down but not the symbolization happens. sent6: if the crooking bolide does not occur that both the sit-down and the symbolization occurs does not hold. sent7: the crooking bolide does not occur and the attentiveness happens if the overriding occurs. sent8: the crooking bolide prevents that the symbolization occurs. sent9: that the gaze does not occur is caused by that both the pogrom and the nodding microsporangium occurs. sent10: the symbolization does not occur. sent11: that the craniometricness happens and the manorialness does not occur does not hold. sent12: if the sit-down occurs then the gaze occurs. sent13: the fact that that the nodding microsporangium does not occur and the pogrom does not occur is not true is not false if the circuiting does not occur. sent14: the fact that the numerologicalness does not occur is not wrong.
sent2 & sent11 -> int1: that the circuiting occurs is not false.; int1 & sent1 -> int2: the pogrom occurs.; void -> assump1: Let's assume that the nodding microsporangium occurs.; int2 & assump1 -> int3: the pogrom happens and the nodding microsporangium happens.; int3 & sent9 -> int4: the gazing does not occur.; sent3 -> int5: the crooking bolide happens.; sent5 & int5 -> int6: the sit-down but not the symbolization happens.; int6 -> int7: the sit-down occurs.; sent12 & int7 -> int8: the gaze occurs.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the nodding microsporangium occurs.
$hypothesis$ = the nodding microsporangium does not occur. ; $context$ = sent1: that the circuiting happens results in that the pogrom happens. sent2: the circuit happens if the fact that the craniometricness but not the manorialness happens is false. sent3: both the crooking bolide and the attentiveness occurs. sent4: the crooking telephotography occurs and the Laosness occurs. sent5: if the crooking bolide occurs then the sit-down but not the symbolization happens. sent6: if the crooking bolide does not occur that both the sit-down and the symbolization occurs does not hold. sent7: the crooking bolide does not occur and the attentiveness happens if the overriding occurs. sent8: the crooking bolide prevents that the symbolization occurs. sent9: that the gaze does not occur is caused by that both the pogrom and the nodding microsporangium occurs. sent10: the symbolization does not occur. sent11: that the craniometricness happens and the manorialness does not occur does not hold. sent12: if the sit-down occurs then the gaze occurs. sent13: the fact that that the nodding microsporangium does not occur and the pogrom does not occur is not true is not false if the circuiting does not occur. sent14: the fact that the numerologicalness does not occur is not wrong. ; $proof$ = 
sent2 & sent11 -> int1: that the circuiting occurs is not false.; int1 & sent1 -> int2: the pogrom occurs.; void -> assump1: Let's assume that the nodding microsporangium occurs.; int2 & assump1 -> int3: the pogrom happens and the nodding microsporangium happens.; int3 & sent9 -> int4: the gazing does not occur.; sent3 -> int5: the crooking bolide happens.; sent5 & int5 -> int6: the sit-down but not the symbolization happens.; int6 -> int7: the sit-down occurs.; sent12 & int7 -> int8: the gaze occurs.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__