the trolleybus does not madden hierarchy and it is not regretful.
sent1: there exists something such that the fact that it is a liturgy and it maddens ninety does not hold. sent2: that the fixation is a liturgy and it does madden ninety does not hold if something is not a dunlin. sent3: the fact that the trolleybus does not madden hierarchy and is not regretful does not hold if the Cabernet is distributional. sent4: the Cabernet maddens vincristine if there is something such that the fact that it is not a liturgy and maddens ninety is incorrect. sent5: the fact that the trolleybus maddens hierarchy but it is not regretful is false. sent6: the fixation is not a Georgian if the Cabernet is a dunlin. sent7: there exists something such that it is not a liturgy and it does madden ninety. sent8: the fact that the fixation is a kind of a liturgy and it does madden ninety is not true. sent9: if the trolleybus maddens ninety but it is not a dunlin then the Cabernet is a dunlin. sent10: there is something such that it is not a kind of a dunlin. sent11: something does concretize bootblack if it does madden vincristine. sent12: that the trolleybus does not madden hierarchy but it is regretful is not true. sent13: something is distributional if it concretizes bootblack. sent14: the fact that the fixation is not a kind of a liturgy but it does madden ninety is not correct if there is something such that it is not a kind of a dunlin. sent15: something does not madden hierarchy and is not regretful if it is not a dunlin.
sent10 & sent14 -> int1: the fact that the fixation is not a liturgy and maddens ninety is false.; int1 -> int2: there exists something such that the fact that it is not a kind of a liturgy and it maddens ninety does not hold.; int2 & sent4 -> int3: the Cabernet does madden vincristine.; sent11 -> int4: the fact that the Cabernet concretizes bootblack is not incorrect if that it does madden vincristine is not wrong.; int3 & int4 -> int5: the Cabernet does concretize bootblack.; sent13 -> int6: the Cabernet is distributional if the fact that it does concretize bootblack is not incorrect.; int5 & int6 -> int7: the Cabernet is distributional.; int7 & sent3 -> hypothesis;
the trolleybus does not madden hierarchy and it is not regretful.
sent15 -> int8: if the trolleybus is not a kind of a dunlin then it does not madden hierarchy and it is not regretful.;
$hypothesis$ = the trolleybus does not madden hierarchy and it is not regretful. ; $context$ = sent1: there exists something such that the fact that it is a liturgy and it maddens ninety does not hold. sent2: that the fixation is a liturgy and it does madden ninety does not hold if something is not a dunlin. sent3: the fact that the trolleybus does not madden hierarchy and is not regretful does not hold if the Cabernet is distributional. sent4: the Cabernet maddens vincristine if there is something such that the fact that it is not a liturgy and maddens ninety is incorrect. sent5: the fact that the trolleybus maddens hierarchy but it is not regretful is false. sent6: the fixation is not a Georgian if the Cabernet is a dunlin. sent7: there exists something such that it is not a liturgy and it does madden ninety. sent8: the fact that the fixation is a kind of a liturgy and it does madden ninety is not true. sent9: if the trolleybus maddens ninety but it is not a dunlin then the Cabernet is a dunlin. sent10: there is something such that it is not a kind of a dunlin. sent11: something does concretize bootblack if it does madden vincristine. sent12: that the trolleybus does not madden hierarchy but it is regretful is not true. sent13: something is distributional if it concretizes bootblack. sent14: the fact that the fixation is not a kind of a liturgy but it does madden ninety is not correct if there is something such that it is not a kind of a dunlin. sent15: something does not madden hierarchy and is not regretful if it is not a dunlin. ; $proof$ = 
sent10 & sent14 -> int1: the fact that the fixation is not a liturgy and maddens ninety is false.; int1 -> int2: there exists something such that the fact that it is not a kind of a liturgy and it maddens ninety does not hold.; int2 & sent4 -> int3: the Cabernet does madden vincristine.; sent11 -> int4: the fact that the Cabernet concretizes bootblack is not incorrect if that it does madden vincristine is not wrong.; int3 & int4 -> int5: the Cabernet does concretize bootblack.; sent13 -> int6: the Cabernet is distributional if the fact that it does concretize bootblack is not incorrect.; int5 & int6 -> int7: the Cabernet is distributional.; int7 & sent3 -> hypothesis; __DISPROVED__