the swing does not occur.
sent1: if the predating artilleryman does not occur both the blackmailing researcher and the combusting occurs. sent2: the blackmailing researcher does not occur if the Cappadocianness and the swing occurs. sent3: if the fornicating occurs the predating artilleryman does not occur but the racism happens. sent4: the blackmailing thermoreceptor does not occur. sent5: the fornicating happens. sent6: the combusting occurs. sent7: that the Cappadocianness happens is not false if the formulation does not occur and/or the blackmailing thermoreceptor does not occur.
sent4 -> int1: the formulation does not occur or the blackmailing thermoreceptor does not occur or both.; int1 & sent7 -> int2: the Cappadocianness happens.; void -> assump1: Let's assume that that the swing happens is true.; int2 & assump1 -> int3: both the Cappadocianness and the swing occurs.; int3 & sent2 -> int4: the blackmailing researcher does not occur.; sent3 & sent5 -> int5: the predating artilleryman does not occur but the racism occurs.; int5 -> int6: the predating artilleryman does not occur.; sent1 & int6 -> int7: the blackmailing researcher happens and the combusting happens.; int7 -> int8: the blackmailing researcher happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the swing does not occur. ; $context$ = sent1: if the predating artilleryman does not occur both the blackmailing researcher and the combusting occurs. sent2: the blackmailing researcher does not occur if the Cappadocianness and the swing occurs. sent3: if the fornicating occurs the predating artilleryman does not occur but the racism happens. sent4: the blackmailing thermoreceptor does not occur. sent5: the fornicating happens. sent6: the combusting occurs. sent7: that the Cappadocianness happens is not false if the formulation does not occur and/or the blackmailing thermoreceptor does not occur. ; $proof$ = 
sent4 -> int1: the formulation does not occur or the blackmailing thermoreceptor does not occur or both.; int1 & sent7 -> int2: the Cappadocianness happens.; void -> assump1: Let's assume that that the swing happens is true.; int2 & assump1 -> int3: both the Cappadocianness and the swing occurs.; int3 & sent2 -> int4: the blackmailing researcher does not occur.; sent3 & sent5 -> int5: the predating artilleryman does not occur but the racism occurs.; int5 -> int6: the predating artilleryman does not occur.; sent1 & int6 -> int7: the blackmailing researcher happens and the combusting happens.; int7 -> int8: the blackmailing researcher happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__