the bull does not occur.
sent1: the non-astrophysicalness brings about that the hugging Pasternak occurs and/or the championing Whitsun occurs. sent2: the championing Whitsun does not occur if the Gandhianness does not occur. sent3: the championing Whitsun happens. sent4: the Gandhianness happens. sent5: the snuffling coup occurs if the hugging Pasternak happens. sent6: that the bull happens is prevented by that the astrophysicalness does not occur. sent7: if the fact that the exasperation does not occur but the Gandhianness happens is false then the championing Whitsun does not occur. sent8: that the hugging Pasternak but not the championing Whitsun happens is caused by the non-astrophysicalness. sent9: if the fact that the coif but not the overindulgence occurs is right the finale does not occur. sent10: that the snuffling stratocracy does not occur causes that the coif occurs and the overindulgence does not occur. sent11: the astrophysicalness does not occur if the fact that either the bulling or the non-pastness or both happens is not correct. sent12: the fact that either the bulling happens or the pastness does not occur or both does not hold if the fact that the finale does not occur is not wrong. sent13: the bull does not occur if the fact that both the hugging Pasternak and the astrophysicalness happens is incorrect.
void -> assump1: Let's assume that that not the exasperation but the Gandhianness happens is not correct.; sent7 & assump1 -> int1: the championing Whitsun does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the exasperation does not occur and the Gandhianness happens.; int3 -> int4: the exasperation does not occur.;
the snuffling coup occurs.
$hypothesis$ = the bull does not occur. ; $context$ = sent1: the non-astrophysicalness brings about that the hugging Pasternak occurs and/or the championing Whitsun occurs. sent2: the championing Whitsun does not occur if the Gandhianness does not occur. sent3: the championing Whitsun happens. sent4: the Gandhianness happens. sent5: the snuffling coup occurs if the hugging Pasternak happens. sent6: that the bull happens is prevented by that the astrophysicalness does not occur. sent7: if the fact that the exasperation does not occur but the Gandhianness happens is false then the championing Whitsun does not occur. sent8: that the hugging Pasternak but not the championing Whitsun happens is caused by the non-astrophysicalness. sent9: if the fact that the coif but not the overindulgence occurs is right the finale does not occur. sent10: that the snuffling stratocracy does not occur causes that the coif occurs and the overindulgence does not occur. sent11: the astrophysicalness does not occur if the fact that either the bulling or the non-pastness or both happens is not correct. sent12: the fact that either the bulling happens or the pastness does not occur or both does not hold if the fact that the finale does not occur is not wrong. sent13: the bull does not occur if the fact that both the hugging Pasternak and the astrophysicalness happens is incorrect. ; $proof$ = 
void -> assump1: Let's assume that that not the exasperation but the Gandhianness happens is not correct.; sent7 & assump1 -> int1: the championing Whitsun does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the exasperation does not occur and the Gandhianness happens.; int3 -> int4: the exasperation does not occur.; __UNKNOWN__