the derv does not incriminate Bridgetown.
sent1: the primer is not a Somme if the medusa is a kind of a Shakespearian and it is a gripe. sent2: if the derv does incriminate lull and/or it is not a kind of a bacteroid that it incriminates Bridgetown is right. sent3: if the primer either does not incriminate lull or is not a bacteroid or both the medusa does not incriminate lull. sent4: the derv incriminates lull and/or it is not a bacteroid if there is something such that it is a credits. sent5: the medusa is a Somme and is a kind of a credits if it does not incriminate lull. sent6: if the medusa is not a credits then it is a Shakespearian and it gripes. sent7: the primer is a Somme.
void -> assump1: Let's assume that the medusa is not a kind of a credits.; sent6 & assump1 -> int1: the medusa is Shakespearian and it does gripe.; int1 & sent1 -> int2: the primer is not a kind of a Somme.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the medusa is a credits.; int4 -> int5: something is a credits.; int5 & sent4 -> int6: the derv incriminates lull and/or it is not a bacteroid.; int6 & sent2 -> hypothesis;
the derv does not incriminate Bridgetown.
$hypothesis$ = the derv does not incriminate Bridgetown. ; $context$ = sent1: the primer is not a Somme if the medusa is a kind of a Shakespearian and it is a gripe. sent2: if the derv does incriminate lull and/or it is not a kind of a bacteroid that it incriminates Bridgetown is right. sent3: if the primer either does not incriminate lull or is not a bacteroid or both the medusa does not incriminate lull. sent4: the derv incriminates lull and/or it is not a bacteroid if there is something such that it is a credits. sent5: the medusa is a Somme and is a kind of a credits if it does not incriminate lull. sent6: if the medusa is not a credits then it is a Shakespearian and it gripes. sent7: the primer is a Somme. ; $proof$ = 
void -> assump1: Let's assume that the medusa is not a kind of a credits.; sent6 & assump1 -> int1: the medusa is Shakespearian and it does gripe.; int1 & sent1 -> int2: the primer is not a kind of a Somme.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the medusa is a credits.; int4 -> int5: something is a credits.; int5 & sent4 -> int6: the derv incriminates lull and/or it is not a bacteroid.; int6 & sent2 -> hypothesis; __DISPROVED__