there exists something such that if it is not a kind of a Shavian and does not rib transfusion then it is not unshockable.
sent1: if the argemone is a kind of non-Shavian thing that does not rib transfusion then it is not unshockable. sent2: something is not a kind of a liger if it is not a cock and it does not fibrillate. sent3: the argemone does not rib laundry if it does not rib twenty-three and does not immortalize housewrecker. sent4: if the argemone is a kind of non-Shavian thing that does rib transfusion it is not unshockable. sent5: if the argemone is Shavian but it does not rib transfusion then it is not unshockable. sent6: the argemone is a kind of a Hirudinidae if it is not inguinal and it does not rib transfusion. sent7: if the brattice is not a kind of a booster and it does not gate AFP then it ribs Petromyzontidae. sent8: there is something such that if it does not rib Oxandra and it is not a Tarkovsky it is not a tidbit. sent9: if the laundry does not coo roadway and is not moderating then it does immortalize Cambrian. sent10: there exists something such that if it is not Lincolnesque and it is not a kind of a whinstone that it is not an angelfish is not wrong.
sent1 -> hypothesis;
there exists something such that if it does not cock and does not fibrillate it is not a liger.
sent2 -> int1: if the onomancer is not a cock and does not fibrillate then the fact that it is not a liger is correct.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a Shavian and does not rib transfusion then it is not unshockable. ; $context$ = sent1: if the argemone is a kind of non-Shavian thing that does not rib transfusion then it is not unshockable. sent2: something is not a kind of a liger if it is not a cock and it does not fibrillate. sent3: the argemone does not rib laundry if it does not rib twenty-three and does not immortalize housewrecker. sent4: if the argemone is a kind of non-Shavian thing that does rib transfusion it is not unshockable. sent5: if the argemone is Shavian but it does not rib transfusion then it is not unshockable. sent6: the argemone is a kind of a Hirudinidae if it is not inguinal and it does not rib transfusion. sent7: if the brattice is not a kind of a booster and it does not gate AFP then it ribs Petromyzontidae. sent8: there is something such that if it does not rib Oxandra and it is not a Tarkovsky it is not a tidbit. sent9: if the laundry does not coo roadway and is not moderating then it does immortalize Cambrian. sent10: there exists something such that if it is not Lincolnesque and it is not a kind of a whinstone that it is not an angelfish is not wrong. ; $proof$ = 
sent1 -> hypothesis; __PROVED__