the pheno-safranine is not a concession.
sent1: something is unservile. sent2: something is not a kind of an abolition if either it does lob photon or it criticizes kiddy or both. sent3: if something does lob Wallace and/or it does lob photon it does not lob folktale. sent4: either everything is not an abolition or it lobs folktale or both. sent5: the easterner does not lob folktale and is not asclepiadaceous if the toadshade does not pit pheno-safranine. sent6: the pheno-safranine lobs Wallace if the BLT lobs Wallace. sent7: if something lobs photon that it is not an abolition is not wrong. sent8: there are ignoble things. sent9: the toadshade does not lob folktale if something does not lob photon. sent10: if there is something such that it is unservile and is ignoble then that the toadshade does not pit pheno-safranine is not incorrect. sent11: if the easterner does lob folktale but it is not asclepiadaceous the columbine does not lob photon. sent12: the BLT does lob photon and/or it criticizes kiddy if the columbine does not lob photon. sent13: there exists something such that it is both unservile and not non-ignoble. sent14: that the easterner does not lob folktale is right. sent15: the pheno-safranine lobs Wallace. sent16: if something does not lob folktale then the fact that it pits pheno-safranine and is asclepiadaceous is not true. sent17: the easterner does not lob folktale if the toadshade does not pit pheno-safranine. sent18: there is something such that it does not lob photon. sent19: that the pheno-safranine does not pit pheno-safranine is right if there exists something such that the fact that it pit pheno-safranine and it is asclepiadaceous is not correct. sent20: something is not servile or it is ignoble or both if that it does not pit pheno-safranine hold. sent21: if the easterner does not lob folktale and is not asclepiadaceous then the columbine does not lob photon. sent22: something lobs Wallace if it is not an abolition. sent23: the toadshade is not an abolition. sent24: either something is aggressive or it is unservile or both if it does lob folktale. sent25: if the BLT does lob Wallace then the pheno-safranine is not a concession but it does lob Wallace. sent26: the BLT is not an abolition if it does lob photon. sent27: if the BLT does not lob folktale then that the easterner does not criticize kiddy hold.
sent13 & sent10 -> int1: that the toadshade does not pit pheno-safranine is true.; int1 & sent5 -> int2: the easterner does not lob folktale and it is not asclepiadaceous.; int2 & sent21 -> int3: the columbine does not lob photon.; int3 & sent12 -> int4: the BLT does lob photon or it criticizes kiddy or both.; sent2 -> int5: the BLT is not an abolition if it does lob photon and/or it criticizes kiddy.; int4 & int5 -> int6: the BLT is not a kind of an abolition.; sent22 -> int7: the BLT does lob Wallace if that it is not an abolition hold.; int6 & int7 -> int8: the BLT lobs Wallace.; int8 & sent25 -> int9: the pheno-safranine is not a concession and does lob Wallace.; int9 -> hypothesis;
the pheno-safranine is a concession.
sent20 -> int10: the pheno-safranine is unservile and/or it is ignoble if it does not pit pheno-safranine.; sent16 -> int11: if the toadshade does not lob folktale then the fact that it does pit pheno-safranine and is asclepiadaceous is not correct.; sent18 & sent9 -> int12: the toadshade does not lob folktale.; int11 & int12 -> int13: the fact that the toadshade does pit pheno-safranine and is asclepiadaceous is wrong.; int13 -> int14: there is something such that that it does pit pheno-safranine and it is asclepiadaceous is not true.; int14 & sent19 -> int15: the pheno-safranine does not pit pheno-safranine.; int10 & int15 -> int16: the pheno-safranine is unservile and/or it is ignoble.;
$hypothesis$ = the pheno-safranine is not a concession. ; $context$ = sent1: something is unservile. sent2: something is not a kind of an abolition if either it does lob photon or it criticizes kiddy or both. sent3: if something does lob Wallace and/or it does lob photon it does not lob folktale. sent4: either everything is not an abolition or it lobs folktale or both. sent5: the easterner does not lob folktale and is not asclepiadaceous if the toadshade does not pit pheno-safranine. sent6: the pheno-safranine lobs Wallace if the BLT lobs Wallace. sent7: if something lobs photon that it is not an abolition is not wrong. sent8: there are ignoble things. sent9: the toadshade does not lob folktale if something does not lob photon. sent10: if there is something such that it is unservile and is ignoble then that the toadshade does not pit pheno-safranine is not incorrect. sent11: if the easterner does lob folktale but it is not asclepiadaceous the columbine does not lob photon. sent12: the BLT does lob photon and/or it criticizes kiddy if the columbine does not lob photon. sent13: there exists something such that it is both unservile and not non-ignoble. sent14: that the easterner does not lob folktale is right. sent15: the pheno-safranine lobs Wallace. sent16: if something does not lob folktale then the fact that it pits pheno-safranine and is asclepiadaceous is not true. sent17: the easterner does not lob folktale if the toadshade does not pit pheno-safranine. sent18: there is something such that it does not lob photon. sent19: that the pheno-safranine does not pit pheno-safranine is right if there exists something such that the fact that it pit pheno-safranine and it is asclepiadaceous is not correct. sent20: something is not servile or it is ignoble or both if that it does not pit pheno-safranine hold. sent21: if the easterner does not lob folktale and is not asclepiadaceous then the columbine does not lob photon. sent22: something lobs Wallace if it is not an abolition. sent23: the toadshade is not an abolition. sent24: either something is aggressive or it is unservile or both if it does lob folktale. sent25: if the BLT does lob Wallace then the pheno-safranine is not a concession but it does lob Wallace. sent26: the BLT is not an abolition if it does lob photon. sent27: if the BLT does not lob folktale then that the easterner does not criticize kiddy hold. ; $proof$ = 
sent13 & sent10 -> int1: that the toadshade does not pit pheno-safranine is true.; int1 & sent5 -> int2: the easterner does not lob folktale and it is not asclepiadaceous.; int2 & sent21 -> int3: the columbine does not lob photon.; int3 & sent12 -> int4: the BLT does lob photon or it criticizes kiddy or both.; sent2 -> int5: the BLT is not an abolition if it does lob photon and/or it criticizes kiddy.; int4 & int5 -> int6: the BLT is not a kind of an abolition.; sent22 -> int7: the BLT does lob Wallace if that it is not an abolition hold.; int6 & int7 -> int8: the BLT lobs Wallace.; int8 & sent25 -> int9: the pheno-safranine is not a concession and does lob Wallace.; int9 -> hypothesis; __PROVED__