the grooving airburst does not occur.
sent1: that the grooving airburst does not occur is brought about by that both the cachecticness and the curveting griddle occurs. sent2: that the might-have-been but not the Keynesian happens yields the cachecticness. sent3: the saunter does not occur. sent4: if that the sighting doorstop but not the blemishing happens is not right the Keynesian does not occur. sent5: if both the produce and the wonder occurs then the exiting happens. sent6: that the sighting doorstop but not the blemish happens causes that the saunter happens. sent7: the curveting griddle happens.
void -> assump1: Let's assume that the sighting doorstop happens and the blemishing does not occur.; sent6 & assump1 -> int1: the saunter occurs.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the sighting doorstop but not the blemishing occurs is incorrect.; int3 & sent4 -> int4: the fact that the Keynesianness does not occur is not incorrect.;
$hypothesis$ = the grooving airburst does not occur. ; $context$ = sent1: that the grooving airburst does not occur is brought about by that both the cachecticness and the curveting griddle occurs. sent2: that the might-have-been but not the Keynesian happens yields the cachecticness. sent3: the saunter does not occur. sent4: if that the sighting doorstop but not the blemishing happens is not right the Keynesian does not occur. sent5: if both the produce and the wonder occurs then the exiting happens. sent6: that the sighting doorstop but not the blemish happens causes that the saunter happens. sent7: the curveting griddle happens. ; $proof$ = 
void -> assump1: Let's assume that the sighting doorstop happens and the blemishing does not occur.; sent6 & assump1 -> int1: the saunter occurs.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the sighting doorstop but not the blemishing occurs is incorrect.; int3 & sent4 -> int4: the fact that the Keynesianness does not occur is not incorrect.; __UNKNOWN__