there exists something such that it is a kind of a Aramean and it is not a kind of a Blattidae.
sent1: the fact that the tenoroon is representational and is not a kind of a germander is wrong. sent2: that the tenoroon is representational a germander is false. sent3: if the jampot is likely thing that bicycles groenendael then the paraphysis does not single footballer. sent4: there exists something such that it is not a kind of a Blattidae. sent5: that the jampot is Aramean and a Blattidae is incorrect. sent6: the tunaburger bicycles groenendael if the master is a chrysoberyl. sent7: the fact that the carafe is both not rhetorical and not a germander does not hold if it is not totemic. sent8: something is a Aramean. sent9: the carafe is not representational if that the tenoroon is representational but it is not a germander does not hold. sent10: if the fact that the jampot is Aramean thing that is not a Blattidae does not hold then the carafe does single footballer. sent11: the fact that the jampot is a kind of a Blattidae but it does not stroke Boston does not hold. sent12: the tunaburger is unlikely. sent13: that the carafe does single footballer is correct if the jampot is a Blattidae. sent14: the fact that the jampot is a chrysoberyl but it is non-Aramean is incorrect. sent15: if there is something such that the fact that it is a kind of non-rhetorical thing that is not a germander is not right then the jampot does not stroke Boston. sent16: if something does not stroke Boston and is unlikely it does not bicycle groenendael. sent17: something is a Aramean that is a kind of a Blattidae. sent18: the master is a kind of a chrysoberyl if the carafe is not representational but it singles footballer. sent19: the jampot is not a Blattidae. sent20: the tunaburger does not stroke Boston and is not likely. sent21: the carafe is not totemic.
void -> assump1: Let's assume that that the jampot is a kind of a Aramean but it is not a kind of a Blattidae is false.; sent10 & assump1 -> int1: the carafe singles footballer.; sent9 & sent1 -> int2: the carafe is not representational.; int1 & int2 -> int3: the carafe is not representational but it singles footballer.; int3 & sent18 -> int4: the master is a kind of a chrysoberyl.; int4 & sent6 -> int5: the tunaburger bicycles groenendael.; sent16 -> int6: the tunaburger does not bicycle groenendael if the fact that it does not stroke Boston and it is unlikely hold.; int6 & sent20 -> int7: the tunaburger does not bicycle groenendael.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the jampot is Aramean but not a Blattidae.; int9 -> hypothesis;
the paraphysis is a kind of a chrysoberyl.
sent7 & sent21 -> int10: that the carafe is not rhetorical and it is not a germander is incorrect.; int10 -> int11: there exists something such that that that it is unrhetorical and it is not a germander is not wrong is not true.; int11 & sent15 -> int12: the jampot does not stroke Boston.;
$hypothesis$ = there exists something such that it is a kind of a Aramean and it is not a kind of a Blattidae. ; $context$ = sent1: the fact that the tenoroon is representational and is not a kind of a germander is wrong. sent2: that the tenoroon is representational a germander is false. sent3: if the jampot is likely thing that bicycles groenendael then the paraphysis does not single footballer. sent4: there exists something such that it is not a kind of a Blattidae. sent5: that the jampot is Aramean and a Blattidae is incorrect. sent6: the tunaburger bicycles groenendael if the master is a chrysoberyl. sent7: the fact that the carafe is both not rhetorical and not a germander does not hold if it is not totemic. sent8: something is a Aramean. sent9: the carafe is not representational if that the tenoroon is representational but it is not a germander does not hold. sent10: if the fact that the jampot is Aramean thing that is not a Blattidae does not hold then the carafe does single footballer. sent11: the fact that the jampot is a kind of a Blattidae but it does not stroke Boston does not hold. sent12: the tunaburger is unlikely. sent13: that the carafe does single footballer is correct if the jampot is a Blattidae. sent14: the fact that the jampot is a chrysoberyl but it is non-Aramean is incorrect. sent15: if there is something such that the fact that it is a kind of non-rhetorical thing that is not a germander is not right then the jampot does not stroke Boston. sent16: if something does not stroke Boston and is unlikely it does not bicycle groenendael. sent17: something is a Aramean that is a kind of a Blattidae. sent18: the master is a kind of a chrysoberyl if the carafe is not representational but it singles footballer. sent19: the jampot is not a Blattidae. sent20: the tunaburger does not stroke Boston and is not likely. sent21: the carafe is not totemic. ; $proof$ = 
void -> assump1: Let's assume that that the jampot is a kind of a Aramean but it is not a kind of a Blattidae is false.; sent10 & assump1 -> int1: the carafe singles footballer.; sent9 & sent1 -> int2: the carafe is not representational.; int1 & int2 -> int3: the carafe is not representational but it singles footballer.; int3 & sent18 -> int4: the master is a kind of a chrysoberyl.; int4 & sent6 -> int5: the tunaburger bicycles groenendael.; sent16 -> int6: the tunaburger does not bicycle groenendael if the fact that it does not stroke Boston and it is unlikely hold.; int6 & sent20 -> int7: the tunaburger does not bicycle groenendael.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the jampot is Aramean but not a Blattidae.; int9 -> hypothesis; __PROVED__