that the bopping restatement occurs triggers that the gunfire does not occur.
sent1: the innocuousness occurs. sent2: that the revocation and the sniffing occurs yields the mediatoriness. sent3: if the spring-cleaning does not occur both the gunfire and the argumentativeness happens. sent4: that the malingering Colossians and the bopping restatement happens causes that the gunfire does not occur. sent5: if the fact that the malingering sandwich does not occur is not false then the subclavianness does not occur and the malingering sociologist does not occur. sent6: if the gunfire occurs then the fact that not the bopping restatement but the malingering Colossians occurs is incorrect. sent7: the malingering sociologist happens and the malingering sandwich occurs. sent8: that the expressing happens and the clutch happens prevents that the internment happens. sent9: the loom happens. sent10: the jujutsu happens. sent11: the mediatoriness happens. sent12: if the malingering sandwich happens the malingering Colossians happens.
sent7 -> int1: the malingering sandwich happens.; sent12 & int1 -> int2: the malingering Colossians occurs.; void -> assump1: Let's assume that the bopping restatement happens.; int2 & assump1 -> int3: the malingering Colossians occurs and the bopping restatement occurs.; sent4 & int3 -> int4: the gunfire does not occur.; [assump1] & int4 -> hypothesis;
that the subclavianness does not occur hold.
$hypothesis$ = that the bopping restatement occurs triggers that the gunfire does not occur. ; $context$ = sent1: the innocuousness occurs. sent2: that the revocation and the sniffing occurs yields the mediatoriness. sent3: if the spring-cleaning does not occur both the gunfire and the argumentativeness happens. sent4: that the malingering Colossians and the bopping restatement happens causes that the gunfire does not occur. sent5: if the fact that the malingering sandwich does not occur is not false then the subclavianness does not occur and the malingering sociologist does not occur. sent6: if the gunfire occurs then the fact that not the bopping restatement but the malingering Colossians occurs is incorrect. sent7: the malingering sociologist happens and the malingering sandwich occurs. sent8: that the expressing happens and the clutch happens prevents that the internment happens. sent9: the loom happens. sent10: the jujutsu happens. sent11: the mediatoriness happens. sent12: if the malingering sandwich happens the malingering Colossians happens. ; $proof$ = 
sent7 -> int1: the malingering sandwich happens.; sent12 & int1 -> int2: the malingering Colossians occurs.; void -> assump1: Let's assume that the bopping restatement happens.; int2 & assump1 -> int3: the malingering Colossians occurs and the bopping restatement occurs.; sent4 & int3 -> int4: the gunfire does not occur.; [assump1] & int4 -> hypothesis; __PROVED__