the expiring bluethroat occurs.
sent1: if both the non-electrostaticness and the non-neurogenicness happens then the expiring bluethroat happens. sent2: if that the investing does not occur and the part-timeness happens does not hold then the postmillennialness does not occur. sent3: the cambialness occurs. sent4: that the cambialness does not occur brings about that the expiring Corticium happens and the insubordination occurs. sent5: the postmillennialness happens. sent6: the fact that the fact that the Wiccan and the expiring assessor occurs is not wrong is not correct if the postmillennialness does not occur. sent7: if both the expiring assessor and the Wiccanness occurs then the neurogenicness does not occur. sent8: the postmillennialness and the plucking happens. sent9: the insubordination and the cambialness occurs. sent10: the expiring pearlwort happens. sent11: the Wiccan happens. sent12: if that the expiring bluethroat occurs and the cambialness happens is not true the fact that the expiring bluethroat does not occur is not wrong. sent13: the longitudinalness occurs. sent14: that the expiring printmaker does not occur is not incorrect. sent15: the neurogenicness causes that both the non-electrostaticness and the pluck happens. sent16: that the pluck does not occur is brought about by that both the electrostaticness and the insubordination occurs. sent17: the expiring assessor happens.
sent9 -> int1: the insubordination happens.; void -> assump1: Let's assume that the electrostaticness occurs.; int1 & assump1 -> int2: the electrostaticness occurs and the insubordination happens.; int2 & sent16 -> int3: the plucking does not occur.; sent8 -> int4: the plucking happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the electrostaticness does not occur is correct.; sent17 & sent11 -> int7: the fact that the expiring assessor and the Wiccanness happens is not wrong.; sent7 & int7 -> int8: the neurogenicness does not occur.; int6 & int8 -> int9: both the non-electrostaticness and the non-neurogenicness occurs.; int9 & sent1 -> hypothesis;
the expiring bluethroat does not occur.
$hypothesis$ = the expiring bluethroat occurs. ; $context$ = sent1: if both the non-electrostaticness and the non-neurogenicness happens then the expiring bluethroat happens. sent2: if that the investing does not occur and the part-timeness happens does not hold then the postmillennialness does not occur. sent3: the cambialness occurs. sent4: that the cambialness does not occur brings about that the expiring Corticium happens and the insubordination occurs. sent5: the postmillennialness happens. sent6: the fact that the fact that the Wiccan and the expiring assessor occurs is not wrong is not correct if the postmillennialness does not occur. sent7: if both the expiring assessor and the Wiccanness occurs then the neurogenicness does not occur. sent8: the postmillennialness and the plucking happens. sent9: the insubordination and the cambialness occurs. sent10: the expiring pearlwort happens. sent11: the Wiccan happens. sent12: if that the expiring bluethroat occurs and the cambialness happens is not true the fact that the expiring bluethroat does not occur is not wrong. sent13: the longitudinalness occurs. sent14: that the expiring printmaker does not occur is not incorrect. sent15: the neurogenicness causes that both the non-electrostaticness and the pluck happens. sent16: that the pluck does not occur is brought about by that both the electrostaticness and the insubordination occurs. sent17: the expiring assessor happens. ; $proof$ = 
sent9 -> int1: the insubordination happens.; void -> assump1: Let's assume that the electrostaticness occurs.; int1 & assump1 -> int2: the electrostaticness occurs and the insubordination happens.; int2 & sent16 -> int3: the plucking does not occur.; sent8 -> int4: the plucking happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the electrostaticness does not occur is correct.; sent17 & sent11 -> int7: the fact that the expiring assessor and the Wiccanness happens is not wrong.; sent7 & int7 -> int8: the neurogenicness does not occur.; int6 & int8 -> int9: both the non-electrostaticness and the non-neurogenicness occurs.; int9 & sent1 -> hypothesis; __PROVED__