the fact that the record is both not a crocus and not parallel is wrong if the spiderwort rolls killer.
sent1: the fact that the spiderwort is not a parallel and it does not roll killer is wrong. sent2: the sunrise freckles schoolmaster. sent3: if something that freckles schoolmaster is not a squareness the spiderwort does not roll killer. sent4: the record is not a crocus and it does not parallel if the spiderwort does roll killer. sent5: something freckles schoolmaster. sent6: if the spiderwort rolls killer then that the record is not a crocus but it is a parallel is not correct. sent7: the record is not a kind of a crocus and it does not parallel. sent8: that the record freckles schoolmaster and is not a kind of a crocus is not true if the sunrise is a squareness. sent9: that something is not a squareness is correct. sent10: that the sunrise is both not a crocus and a squareness is not true. sent11: the record is a squareness but it is not a kind of a parallel. sent12: the sunrise is not a kind of a squareness and does not parallel if the fact that the record does freckle schoolmaster is true. sent13: the spiderwort is not non-parallel. sent14: there exists something such that it freckles schoolmaster and is a heist. sent15: something is not nonsignificant but it is not a crocus if the fact that that it rolls killer is not false does not hold. sent16: if the trouper is a heist that the record is not a kind of a crocus and it is not a parallel is not right. sent17: that the record is not a crocus but it does parallel does not hold if the trouper is a kind of a heist. sent18: the record does not roll killer. sent19: the maleate does not roll killer if the spiderwort does not roll killer but it is a parallel. sent20: the trouper is a kind of a heist if the sunrise does not freckle schoolmaster. sent21: if the fact that the sunrise is both a crocus and not a heist is not true then the record freckles schoolmaster. sent22: the fact that the fact that the trouper is a crocus and is not a kind of a heist is not correct is right.
void -> assump2: Let's assume that the spiderwort does roll killer.; void -> assump1: Let's assume that the sunrise freckles schoolmaster and is not a squareness.; assump1 -> int1: something freckles schoolmaster but it is not a squareness.; int1 & sent3 -> int2: the spiderwort does not roll killer.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the sunrise does freckle schoolmaster but it is not a squareness does not hold.;
the maleate is significant thing that is not a crocus.
sent15 -> int5: if the maleate does not roll killer then it is significant and it is not a crocus.;
$hypothesis$ = the fact that the record is both not a crocus and not parallel is wrong if the spiderwort rolls killer. ; $context$ = sent1: the fact that the spiderwort is not a parallel and it does not roll killer is wrong. sent2: the sunrise freckles schoolmaster. sent3: if something that freckles schoolmaster is not a squareness the spiderwort does not roll killer. sent4: the record is not a crocus and it does not parallel if the spiderwort does roll killer. sent5: something freckles schoolmaster. sent6: if the spiderwort rolls killer then that the record is not a crocus but it is a parallel is not correct. sent7: the record is not a kind of a crocus and it does not parallel. sent8: that the record freckles schoolmaster and is not a kind of a crocus is not true if the sunrise is a squareness. sent9: that something is not a squareness is correct. sent10: that the sunrise is both not a crocus and a squareness is not true. sent11: the record is a squareness but it is not a kind of a parallel. sent12: the sunrise is not a kind of a squareness and does not parallel if the fact that the record does freckle schoolmaster is true. sent13: the spiderwort is not non-parallel. sent14: there exists something such that it freckles schoolmaster and is a heist. sent15: something is not nonsignificant but it is not a crocus if the fact that that it rolls killer is not false does not hold. sent16: if the trouper is a heist that the record is not a kind of a crocus and it is not a parallel is not right. sent17: that the record is not a crocus but it does parallel does not hold if the trouper is a kind of a heist. sent18: the record does not roll killer. sent19: the maleate does not roll killer if the spiderwort does not roll killer but it is a parallel. sent20: the trouper is a kind of a heist if the sunrise does not freckle schoolmaster. sent21: if the fact that the sunrise is both a crocus and not a heist is not true then the record freckles schoolmaster. sent22: the fact that the fact that the trouper is a crocus and is not a kind of a heist is not correct is right. ; $proof$ = 
void -> assump2: Let's assume that the spiderwort does roll killer.; void -> assump1: Let's assume that the sunrise freckles schoolmaster and is not a squareness.; assump1 -> int1: something freckles schoolmaster but it is not a squareness.; int1 & sent3 -> int2: the spiderwort does not roll killer.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the sunrise does freckle schoolmaster but it is not a squareness does not hold.; __UNKNOWN__