that the merchandise is not viral but it cicatrizes is not true.
sent1: the andradite is a kind of a quietist if the laudanum is a lockout that is a stylopodium. sent2: something is univalve if that it collars orchid is not wrong. sent3: the laudanum is not a lockout. sent4: something is not a liturgist if the fact that it does not collar orchid and is a kind of a liturgist is not right. sent5: if the bastinado does not cicatrize that the merchandise is a kind of non-viral thing that cicatrize is incorrect. sent6: the laudanum is both not a lockout and a stylopodium if it is not a kind of a tannoy. sent7: the laudanum collars laudanum. sent8: the laudanum is not a tannoy if it collars laudanum and it is a Colorado. sent9: if there is something such that it is a liturgist then the Lidocaine does collar orchid. sent10: if the xanthomonad is univalve and/or it is not a kind of a batfish then the andradite is a parodist. sent11: that the laudanum is non-univalve thing that is a tannoy is incorrect. sent12: if the merchandise is a Colorado then it is both not a stylopodium and not a tannoy. sent13: that the andradite does broadside sandaled is right. sent14: if something is a parodist it is univalve. sent15: there is something such that it is a liturgist. sent16: if something is not a liturgist then it is not viral and it does cicatrize. sent17: that something does not collar orchid but it is a kind of a liturgist does not hold if it is univalve. sent18: the andradite is a parodist if the xanthomonad is not a kind of a batfish. sent19: something is not a quietist if it is not a lockout. sent20: the xanthomonad is univalve or it is not a batfish or both if the Lidocaine is univalve. sent21: the andradite is a quietist if the laudanum is both not a lockout and a stylopodium. sent22: there exists something such that the fact that it cicatrizes is not wrong. sent23: the laudanum does collar laudanum and it is a kind of a Colorado. sent24: the bastinado does not cicatrize if the andradite is a quietist and a parodist. sent25: the merchandise is a parodist and is a kind of a batfish if it is not a kind of a quietist. sent26: if the merchandise is not a stylopodium and it is not a kind of a tannoy then it is not a lockout.
sent15 & sent9 -> int1: the Lidocaine does collar orchid.; sent2 -> int2: the Lidocaine is univalve if it does collar orchid.; int1 & int2 -> int3: the Lidocaine is univalve.; int3 & sent20 -> int4: the xanthomonad is univalve and/or it is not a batfish.; int4 & sent10 -> int5: that the andradite is a parodist is correct.; sent8 & sent23 -> int6: the fact that the laudanum is not a tannoy hold.; sent6 & int6 -> int7: the laudanum is not a lockout but it is a stylopodium.; sent21 & int7 -> int8: that the andradite is a kind of a quietist is not false.; int5 & int8 -> int9: the andradite is a quietist and it is a parodist.; int9 & sent24 -> int10: the bastinado does not cicatrize.; int10 & sent5 -> hypothesis;
the merchandise is non-viral thing that cicatrizes.
sent16 -> int11: if the merchandise is not a liturgist then it is not viral and it cicatrizes.; sent4 -> int12: if the fact that the merchandise does not collar orchid and is a liturgist does not hold it is not a liturgist.; sent17 -> int13: if the merchandise is univalve that it does not collar orchid and is a kind of a liturgist is wrong.; sent14 -> int14: the merchandise is univalve if it is a parodist.; sent19 -> int15: that the merchandise is not a kind of a quietist hold if it is not a kind of a lockout.;
$hypothesis$ = that the merchandise is not viral but it cicatrizes is not true. ; $context$ = sent1: the andradite is a kind of a quietist if the laudanum is a lockout that is a stylopodium. sent2: something is univalve if that it collars orchid is not wrong. sent3: the laudanum is not a lockout. sent4: something is not a liturgist if the fact that it does not collar orchid and is a kind of a liturgist is not right. sent5: if the bastinado does not cicatrize that the merchandise is a kind of non-viral thing that cicatrize is incorrect. sent6: the laudanum is both not a lockout and a stylopodium if it is not a kind of a tannoy. sent7: the laudanum collars laudanum. sent8: the laudanum is not a tannoy if it collars laudanum and it is a Colorado. sent9: if there is something such that it is a liturgist then the Lidocaine does collar orchid. sent10: if the xanthomonad is univalve and/or it is not a kind of a batfish then the andradite is a parodist. sent11: that the laudanum is non-univalve thing that is a tannoy is incorrect. sent12: if the merchandise is a Colorado then it is both not a stylopodium and not a tannoy. sent13: that the andradite does broadside sandaled is right. sent14: if something is a parodist it is univalve. sent15: there is something such that it is a liturgist. sent16: if something is not a liturgist then it is not viral and it does cicatrize. sent17: that something does not collar orchid but it is a kind of a liturgist does not hold if it is univalve. sent18: the andradite is a parodist if the xanthomonad is not a kind of a batfish. sent19: something is not a quietist if it is not a lockout. sent20: the xanthomonad is univalve or it is not a batfish or both if the Lidocaine is univalve. sent21: the andradite is a quietist if the laudanum is both not a lockout and a stylopodium. sent22: there exists something such that the fact that it cicatrizes is not wrong. sent23: the laudanum does collar laudanum and it is a kind of a Colorado. sent24: the bastinado does not cicatrize if the andradite is a quietist and a parodist. sent25: the merchandise is a parodist and is a kind of a batfish if it is not a kind of a quietist. sent26: if the merchandise is not a stylopodium and it is not a kind of a tannoy then it is not a lockout. ; $proof$ = 
sent15 & sent9 -> int1: the Lidocaine does collar orchid.; sent2 -> int2: the Lidocaine is univalve if it does collar orchid.; int1 & int2 -> int3: the Lidocaine is univalve.; int3 & sent20 -> int4: the xanthomonad is univalve and/or it is not a batfish.; int4 & sent10 -> int5: that the andradite is a parodist is correct.; sent8 & sent23 -> int6: the fact that the laudanum is not a tannoy hold.; sent6 & int6 -> int7: the laudanum is not a lockout but it is a stylopodium.; sent21 & int7 -> int8: that the andradite is a kind of a quietist is not false.; int5 & int8 -> int9: the andradite is a quietist and it is a parodist.; int9 & sent24 -> int10: the bastinado does not cicatrize.; int10 & sent5 -> hypothesis; __PROVED__