if the sapwood is a Saussure the brake is diagonalizable.
sent1: the crottle is a kind of a sheet and/or it vaults lactose. sent2: something does vault tart or it is diagonalizable or both. sent3: there exists something such that it vaults tart. sent4: the eggbeater is a Saussure if the sapwood is a kind of diagonalizable thing that does not vault tart. sent5: there is something such that it is a kind of a Saussure. sent6: there is something such that it is diagonalizable. sent7: if there is something such that it does vault tart or is diagonalizable or both then the sapwood is a kind of a Saussure. sent8: the administrator is diagonalizable. sent9: the sapwood is a Saussure or is diagonalizable or both. sent10: the sapwood does vault tart if either something is a Saussure or it is diagonalizable or both. sent11: the sapwood vaults tart. sent12: the fact that something is monaural or does chain-smoke or both is right. sent13: if the brake is a kind of a Saussure then the fact that the sapwood is diagonalizable is not false. sent14: the oldwench vaults tart. sent15: the sapwood scourges washwoman. sent16: there exists something such that it is diagonalizable or it does vault tart or both. sent17: the chalice is a kind of a Saussure. sent18: the sapwood is diagonalizable and/or it vaults tart. sent19: if the sapwood is diagonalizable the brake is a Saussure.
void -> assump1: Let's assume that the sapwood is a Saussure.; assump1 -> int1: the sapwood is a Saussure and/or it vaults tart.; int1 -> int2: something is a Saussure and/or it does vault tart.;
the eggbeater is a Saussure.
$hypothesis$ = if the sapwood is a Saussure the brake is diagonalizable. ; $context$ = sent1: the crottle is a kind of a sheet and/or it vaults lactose. sent2: something does vault tart or it is diagonalizable or both. sent3: there exists something such that it vaults tart. sent4: the eggbeater is a Saussure if the sapwood is a kind of diagonalizable thing that does not vault tart. sent5: there is something such that it is a kind of a Saussure. sent6: there is something such that it is diagonalizable. sent7: if there is something such that it does vault tart or is diagonalizable or both then the sapwood is a kind of a Saussure. sent8: the administrator is diagonalizable. sent9: the sapwood is a Saussure or is diagonalizable or both. sent10: the sapwood does vault tart if either something is a Saussure or it is diagonalizable or both. sent11: the sapwood vaults tart. sent12: the fact that something is monaural or does chain-smoke or both is right. sent13: if the brake is a kind of a Saussure then the fact that the sapwood is diagonalizable is not false. sent14: the oldwench vaults tart. sent15: the sapwood scourges washwoman. sent16: there exists something such that it is diagonalizable or it does vault tart or both. sent17: the chalice is a kind of a Saussure. sent18: the sapwood is diagonalizable and/or it vaults tart. sent19: if the sapwood is diagonalizable the brake is a Saussure. ; $proof$ = 
void -> assump1: Let's assume that the sapwood is a Saussure.; assump1 -> int1: the sapwood is a Saussure and/or it vaults tart.; int1 -> int2: something is a Saussure and/or it does vault tart.; __UNKNOWN__