the cashbox either saltates or does not ratchet AA or both.
sent1: if something is dithyrambic the fact that the tricycle is not a SCID is correct. sent2: something is precocious if it is a stay. sent3: that either something saltates or it does not ratchet AA or both is wrong if it is not a kind of a stay. sent4: there are Lutheran things. sent5: the cashbox saltates and/or it does ratchet AA. sent6: the machmeter does not saltate and does ratchet AA if there exists something such that it is a anionic. sent7: if there is something such that it is not a kind of a loasa the wiring is a anionic. sent8: if the cashbox is both a Lutheran and not a stay then the corduroy does stay. sent9: if something is not Lutheran it does not stay and it is precocious. sent10: if the tricycle is a loasa and it is optical the isogamy is not a loasa. sent11: something is not a portfolio if it is not a organon. sent12: the cashbox is a stay and precocious. sent13: the fact that the machmeter is not a planchet and/or it is a anionic does not hold if the froghopper is not proteinaceous. sent14: if the fact that the fact that the froghopper is a Kwakiutl but it is not proteinaceous is not right is not wrong then the cashbox is not proteinaceous. sent15: that something is a kind of a Kwakiutl that is not proteinaceous is false if it is not a portfolio. sent16: something is a planchet if it is proteinaceous. sent17: there is something such that it is dithyrambic. sent18: if something is a kind of a planchet the fact that it is not a kind of a stay is true. sent19: if something does not saltate and ratchets AA the cashbox is Lutheran. sent20: the tricycle is a loasa and optical if that it is not a SCID is right. sent21: if there is something such that it is a kind of a stay that does ratchet AA that the machmeter is not a Lutheran is correct. sent22: the machmeter is not non-Lutheran if the froghopper is a non-Lutheran.
sent12 -> int1: the cashbox is a stay.; void -> assump1: Let's assume that the cashbox ratchets AA.; int1 & assump1 -> int2: the cashbox is a stay that ratchets AA.; int2 -> int3: there is something such that it does stay and does ratchet AA.; int3 & sent21 -> int4: the machmeter is not Lutheran.;
the fact that either the cashbox saltates or it does not ratchet AA or both is false.
sent3 -> int5: if the cashbox does not stay that it does saltate and/or it does not ratchet AA is wrong.; sent9 -> int6: if the cashbox is not a Lutheran then it is not a stay and it is not non-precocious.;
$hypothesis$ = the cashbox either saltates or does not ratchet AA or both. ; $context$ = sent1: if something is dithyrambic the fact that the tricycle is not a SCID is correct. sent2: something is precocious if it is a stay. sent3: that either something saltates or it does not ratchet AA or both is wrong if it is not a kind of a stay. sent4: there are Lutheran things. sent5: the cashbox saltates and/or it does ratchet AA. sent6: the machmeter does not saltate and does ratchet AA if there exists something such that it is a anionic. sent7: if there is something such that it is not a kind of a loasa the wiring is a anionic. sent8: if the cashbox is both a Lutheran and not a stay then the corduroy does stay. sent9: if something is not Lutheran it does not stay and it is precocious. sent10: if the tricycle is a loasa and it is optical the isogamy is not a loasa. sent11: something is not a portfolio if it is not a organon. sent12: the cashbox is a stay and precocious. sent13: the fact that the machmeter is not a planchet and/or it is a anionic does not hold if the froghopper is not proteinaceous. sent14: if the fact that the fact that the froghopper is a Kwakiutl but it is not proteinaceous is not right is not wrong then the cashbox is not proteinaceous. sent15: that something is a kind of a Kwakiutl that is not proteinaceous is false if it is not a portfolio. sent16: something is a planchet if it is proteinaceous. sent17: there is something such that it is dithyrambic. sent18: if something is a kind of a planchet the fact that it is not a kind of a stay is true. sent19: if something does not saltate and ratchets AA the cashbox is Lutheran. sent20: the tricycle is a loasa and optical if that it is not a SCID is right. sent21: if there is something such that it is a kind of a stay that does ratchet AA that the machmeter is not a Lutheran is correct. sent22: the machmeter is not non-Lutheran if the froghopper is a non-Lutheran. ; $proof$ = 
sent12 -> int1: the cashbox is a stay.; void -> assump1: Let's assume that the cashbox ratchets AA.; int1 & assump1 -> int2: the cashbox is a stay that ratchets AA.; int2 -> int3: there is something such that it does stay and does ratchet AA.; int3 & sent21 -> int4: the machmeter is not Lutheran.; __UNKNOWN__