the kvass is a kind of a mystique.
sent1: the kvass is not tabular. sent2: the crystal is not tabular. sent3: the kvass trisects dogbane and/or it is a mystique. sent4: the crystal does trisect dogbane if that the celebrant is a mixer is right. sent5: if the celebrant does not trisect dogbane then the kvass is tabular and/or it is a kind of a mystique. sent6: something trisects dogbane. sent7: if the celebrant is a kind of a mystique then the kvass is a mixer. sent8: there exists something such that the fact that it does fan is not wrong. sent9: that the Iowan is tabular and/or it is a kind of the mixer if the Iowan does not trisect dogbane is not wrong. sent10: there is something such that it is not a kind of a fan. sent11: that if the Iowan is not a truss the celebrant is a kind of a mixer and/or it is tabular is true. sent12: if something is a fan the fact that it is not a kind of a mystique and it does not truss is wrong. sent13: the Iowan is not a truss if there is something such that it is not a kind of a fan. sent14: the fact that the kvass is a mystique is not incorrect if the crystal trisects dogbane. sent15: the kvass is a truss. sent16: the Iowan does not trisect dogbane. sent17: the Iowan is tabular if the celebrant is a truss. sent18: the celebrant is a mystique or it is tabular or both. sent19: if the kvass is not a fan then the fact that it is a kind of a mystique that does not truss is false. sent20: the sourdough is tabular and/or a seine.
sent10 & sent13 -> int1: the Iowan is not a truss.; sent11 & int1 -> int2: the celebrant is a mixer or it is tabular or both.;
the footboard is a mystique.
sent12 -> int3: if the Iowan does fan then that it is not a mystique and is not a truss does not hold.; sent9 & sent16 -> int4: the Iowan is tabular and/or is a mixer.;
$hypothesis$ = the kvass is a kind of a mystique. ; $context$ = sent1: the kvass is not tabular. sent2: the crystal is not tabular. sent3: the kvass trisects dogbane and/or it is a mystique. sent4: the crystal does trisect dogbane if that the celebrant is a mixer is right. sent5: if the celebrant does not trisect dogbane then the kvass is tabular and/or it is a kind of a mystique. sent6: something trisects dogbane. sent7: if the celebrant is a kind of a mystique then the kvass is a mixer. sent8: there exists something such that the fact that it does fan is not wrong. sent9: that the Iowan is tabular and/or it is a kind of the mixer if the Iowan does not trisect dogbane is not wrong. sent10: there is something such that it is not a kind of a fan. sent11: that if the Iowan is not a truss the celebrant is a kind of a mixer and/or it is tabular is true. sent12: if something is a fan the fact that it is not a kind of a mystique and it does not truss is wrong. sent13: the Iowan is not a truss if there is something such that it is not a kind of a fan. sent14: the fact that the kvass is a mystique is not incorrect if the crystal trisects dogbane. sent15: the kvass is a truss. sent16: the Iowan does not trisect dogbane. sent17: the Iowan is tabular if the celebrant is a truss. sent18: the celebrant is a mystique or it is tabular or both. sent19: if the kvass is not a fan then the fact that it is a kind of a mystique that does not truss is false. sent20: the sourdough is tabular and/or a seine. ; $proof$ = 
sent10 & sent13 -> int1: the Iowan is not a truss.; sent11 & int1 -> int2: the celebrant is a mixer or it is tabular or both.; __UNKNOWN__