the lame outshouts transmogrification.
sent1: if something does not wench it does outshout transmogrification. sent2: the expositor is a Badaga if it is microelectronic. sent3: the fact that the expositor is a Badaga is true if the fact that it is a kind of non-microelectronic thing that is not a Avignon is incorrect. sent4: if the exotoxin does not outshout Chrysopidae and is unserviceable the lame sediments ropewalk. sent5: the exotoxin does not outshout Chrysopidae but it is unserviceable. sent6: the exotoxin does sediment ropewalk and does not wench if it is a Badaga. sent7: the fact that the expositor is both not microelectronic and not a Avignon is wrong.
sent4 & sent5 -> int1: the lame does sediment ropewalk.; void -> assump1: Let's assume that the lame does wench.; int1 & assump1 -> int2: the lame does sediment ropewalk and it wenches.; sent3 & sent7 -> int3: the expositor is a Badaga.; sent1 -> int4: if the lame does not wench it does outshout transmogrification.;
the lame does not outshout transmogrification.
$hypothesis$ = the lame outshouts transmogrification. ; $context$ = sent1: if something does not wench it does outshout transmogrification. sent2: the expositor is a Badaga if it is microelectronic. sent3: the fact that the expositor is a Badaga is true if the fact that it is a kind of non-microelectronic thing that is not a Avignon is incorrect. sent4: if the exotoxin does not outshout Chrysopidae and is unserviceable the lame sediments ropewalk. sent5: the exotoxin does not outshout Chrysopidae but it is unserviceable. sent6: the exotoxin does sediment ropewalk and does not wench if it is a Badaga. sent7: the fact that the expositor is both not microelectronic and not a Avignon is wrong. ; $proof$ = 
sent4 & sent5 -> int1: the lame does sediment ropewalk.; void -> assump1: Let's assume that the lame does wench.; int1 & assump1 -> int2: the lame does sediment ropewalk and it wenches.; sent3 & sent7 -> int3: the expositor is a Badaga.; sent1 -> int4: if the lame does not wench it does outshout transmogrification.; __UNKNOWN__