that the C-ration evicts chorale and is Voltarian is not true.
sent1: if the dichroism is not Rembrandtesque then the fact that it is guilty and it is a Tallinn is incorrect. sent2: the C-ration is a tornado and evicts chorale if there exists something such that it is Rembrandtesque. sent3: if that something is guilty and is a Tallinn does not hold it does not evict Geisel. sent4: the dichroism is not Rembrandtesque. sent5: something evicts Geisel and it is a tornado if it is not Voltarian. sent6: the newmarket is a kind of Rembrandtesque thing that is a carp. sent7: the dovekie is not a amniote. sent8: if the fact that the C-ration is not guilty is right then the dichroism does not evict chorale. sent9: that the C-ration evicts chorale and is Voltarian is not right if the miller's-thumb does not evicts chorale. sent10: the C-ration is not a balsa. sent11: the fact that the xenotime is a Magritte and is Rembrandtesque is not true. sent12: if that something is both a Tallinn and a tornado does not hold that it is not Voltarian is correct. sent13: if the fact that the miller's-thumb does not evict chorale and is a kind of a Eyck does not hold then the newmarket is not a Eyck. sent14: if the fact that the dichroism does not evict Geisel is right then the fact that the newmarket is a kind of a tornado and does evict Geisel does not hold. sent15: that something does not evict chorale and is a Eyck is not correct if it does evict Geisel. sent16: the miller's-thumb does not evict chorale if the fact that the newmarket is a tornado and evicts Geisel is incorrect. sent17: the dichroism does not powwow if the fact that it is antiseptic and it does shaft corsair is not true.
sent3 -> int1: the dichroism does not evict Geisel if that it is guilty and a Tallinn does not hold.; sent1 & sent4 -> int2: the fact that the dichroism is guilty thing that is a Tallinn is incorrect.; int1 & int2 -> int3: the dichroism does not evict Geisel.; int3 & sent14 -> int4: that that the newmarket is a kind of a tornado and does evict Geisel is not true is correct.; int4 & sent16 -> int5: the miller's-thumb does not evict chorale.; int5 & sent9 -> hypothesis;
the C-ration does evict chorale and it is Voltarian.
sent6 -> int6: the newmarket is Rembrandtesque.; int6 -> int7: there is something such that it is Rembrandtesque.; int7 & sent2 -> int8: that the C-ration is a kind of a tornado that does evict chorale is correct.; int8 -> int9: the C-ration does evict chorale.;
$hypothesis$ = that the C-ration evicts chorale and is Voltarian is not true. ; $context$ = sent1: if the dichroism is not Rembrandtesque then the fact that it is guilty and it is a Tallinn is incorrect. sent2: the C-ration is a tornado and evicts chorale if there exists something such that it is Rembrandtesque. sent3: if that something is guilty and is a Tallinn does not hold it does not evict Geisel. sent4: the dichroism is not Rembrandtesque. sent5: something evicts Geisel and it is a tornado if it is not Voltarian. sent6: the newmarket is a kind of Rembrandtesque thing that is a carp. sent7: the dovekie is not a amniote. sent8: if the fact that the C-ration is not guilty is right then the dichroism does not evict chorale. sent9: that the C-ration evicts chorale and is Voltarian is not right if the miller's-thumb does not evicts chorale. sent10: the C-ration is not a balsa. sent11: the fact that the xenotime is a Magritte and is Rembrandtesque is not true. sent12: if that something is both a Tallinn and a tornado does not hold that it is not Voltarian is correct. sent13: if the fact that the miller's-thumb does not evict chorale and is a kind of a Eyck does not hold then the newmarket is not a Eyck. sent14: if the fact that the dichroism does not evict Geisel is right then the fact that the newmarket is a kind of a tornado and does evict Geisel does not hold. sent15: that something does not evict chorale and is a Eyck is not correct if it does evict Geisel. sent16: the miller's-thumb does not evict chorale if the fact that the newmarket is a tornado and evicts Geisel is incorrect. sent17: the dichroism does not powwow if the fact that it is antiseptic and it does shaft corsair is not true. ; $proof$ = 
sent3 -> int1: the dichroism does not evict Geisel if that it is guilty and a Tallinn does not hold.; sent1 & sent4 -> int2: the fact that the dichroism is guilty thing that is a Tallinn is incorrect.; int1 & int2 -> int3: the dichroism does not evict Geisel.; int3 & sent14 -> int4: that that the newmarket is a kind of a tornado and does evict Geisel is not true is correct.; int4 & sent16 -> int5: the miller's-thumb does not evict chorale.; int5 & sent9 -> hypothesis; __PROVED__