if the outsider is not a kind of a greaser then the blackmailer is not a smirker and it does not carbonate outsider.
sent1: the blackmailer is not a smirker if it is not a greaser. sent2: something is both not a sirrah and not a foam if it is a greaser. sent3: if the Miwok does not win the blackmailer is not a smirker and does not carbonate outsider. sent4: if something is not a greaser it is pronounceable thing that realizes perfume. sent5: the Miwok does not win if the outsider is not unpronounceable but it does realize perfume. sent6: the blackmailer is not a kind of a greaser and it is not a kind of a smirker if the outsider does not carbonate outsider. sent7: that the Miwok does not carbonate outsider and is a winning is incorrect if the blackmailer is not a smirker.
sent4 -> int1: the outsider is not unpronounceable and does realize perfume if it is not a greaser.; void -> assump1: Let's assume that the outsider is not a kind of a greaser.; int1 & assump1 -> int2: the outsider is non-unpronounceable thing that does realize perfume.; sent5 & int2 -> int3: the Miwok is not a winning.; sent3 & int3 -> int4: the blackmailer is not a smirker and it does not carbonate outsider.; [assump1] & int4 -> hypothesis;
the reserpine is not a sirrah and it is not a kind of a foam.
sent2 -> int5: if the reserpine is a greaser then it is not a kind of a sirrah and it is not a foam.;
$hypothesis$ = if the outsider is not a kind of a greaser then the blackmailer is not a smirker and it does not carbonate outsider. ; $context$ = sent1: the blackmailer is not a smirker if it is not a greaser. sent2: something is both not a sirrah and not a foam if it is a greaser. sent3: if the Miwok does not win the blackmailer is not a smirker and does not carbonate outsider. sent4: if something is not a greaser it is pronounceable thing that realizes perfume. sent5: the Miwok does not win if the outsider is not unpronounceable but it does realize perfume. sent6: the blackmailer is not a kind of a greaser and it is not a kind of a smirker if the outsider does not carbonate outsider. sent7: that the Miwok does not carbonate outsider and is a winning is incorrect if the blackmailer is not a smirker. ; $proof$ = 
sent4 -> int1: the outsider is not unpronounceable and does realize perfume if it is not a greaser.; void -> assump1: Let's assume that the outsider is not a kind of a greaser.; int1 & assump1 -> int2: the outsider is non-unpronounceable thing that does realize perfume.; sent5 & int2 -> int3: the Miwok is not a winning.; sent3 & int3 -> int4: the blackmailer is not a smirker and it does not carbonate outsider.; [assump1] & int4 -> hypothesis; __PROVED__