the shambles pages splitsville.
sent1: if there exists something such that that it does hear sphagnum and is ionic is not right the baboon is point-of-sale. sent2: if the drugget is a drumstick it does congratulate skilly. sent3: the baboon does not page scupper if it is criminological. sent4: the baboon is criminological. sent5: if the fact that something is point-of-sale and it does page splitsville is not true then the fact that it does not page splitsville is correct. sent6: if something is criminological then it does not page scupper and it does not err. sent7: the baboon congratulates penlight. sent8: the fact that something does not page scupper and does not err is false if that it is point-of-sale is true. sent9: there is something such that that that it is both a reticulum and insensible is right does not hold. sent10: that the drugget hears sphagnum and is ionic is not correct if it is not a drumstick. sent11: if the drugget does congratulate skilly the shambles pages splitsville.
void -> assump1: Let's assume that the drugget is not a drumstick.; sent10 & assump1 -> int1: the fact that the drugget hears sphagnum and it is ionic is incorrect.; int1 -> int2: there exists something such that the fact that it does hear sphagnum and is ionic does not hold.; int2 & sent1 -> int3: the fact that the baboon is point-of-sale hold.; sent8 -> int4: the fact that the baboon does not page scupper and it does not err does not hold if it is point-of-sale.; int3 & int4 -> int5: that the baboon does not page scupper and it does not err does not hold.; sent6 -> int6: if the baboon is criminological then it does not page scupper and does not err.; int6 & sent4 -> int7: the baboon does not page scupper and does not err.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the drugget is a drumstick.; int9 & sent2 -> int10: the drugget does congratulate skilly.; int10 & sent11 -> hypothesis;
the shambles does not page splitsville.
sent5 -> int11: the shambles does not page splitsville if that it is not non-point-of-sale and it page splitsville does not hold.;
$hypothesis$ = the shambles pages splitsville. ; $context$ = sent1: if there exists something such that that it does hear sphagnum and is ionic is not right the baboon is point-of-sale. sent2: if the drugget is a drumstick it does congratulate skilly. sent3: the baboon does not page scupper if it is criminological. sent4: the baboon is criminological. sent5: if the fact that something is point-of-sale and it does page splitsville is not true then the fact that it does not page splitsville is correct. sent6: if something is criminological then it does not page scupper and it does not err. sent7: the baboon congratulates penlight. sent8: the fact that something does not page scupper and does not err is false if that it is point-of-sale is true. sent9: there is something such that that that it is both a reticulum and insensible is right does not hold. sent10: that the drugget hears sphagnum and is ionic is not correct if it is not a drumstick. sent11: if the drugget does congratulate skilly the shambles pages splitsville. ; $proof$ = 
void -> assump1: Let's assume that the drugget is not a drumstick.; sent10 & assump1 -> int1: the fact that the drugget hears sphagnum and it is ionic is incorrect.; int1 -> int2: there exists something such that the fact that it does hear sphagnum and is ionic does not hold.; int2 & sent1 -> int3: the fact that the baboon is point-of-sale hold.; sent8 -> int4: the fact that the baboon does not page scupper and it does not err does not hold if it is point-of-sale.; int3 & int4 -> int5: that the baboon does not page scupper and it does not err does not hold.; sent6 -> int6: if the baboon is criminological then it does not page scupper and does not err.; int6 & sent4 -> int7: the baboon does not page scupper and does not err.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the drugget is a drumstick.; int9 & sent2 -> int10: the drugget does congratulate skilly.; int10 & sent11 -> hypothesis; __PROVED__