the wedgie does marvel denticle.
sent1: the fact that the wedgie is a kind of a hamming that is not a Malpighia does not hold if the homeowner marvels denticle. sent2: the librarian does marvel propenonitrile and/or it is a camber if there is something such that it marvel propenonitrile. sent3: the wedgie is exocentric if that it is civil and is not a kind of a hamming is not true. sent4: that the cabochon is a Carya is not false if the fact that the shunt is a kind of a Carya but it is not heavy-duty is not correct. sent5: the homeowner is exocentric if the librarian is exocentric. sent6: that the spittoon is a hamming is true. sent7: that something is not fathomable and is a kind of a genesis is right if it is a kind of a Carya. sent8: that the shunt is a Carya and not heavy-duty is not correct. sent9: something is exocentric if it does marvel propenonitrile. sent10: that the wedgie is a noseband that is undramatic is not correct. sent11: if something is a camber it is exocentric. sent12: the pantile is not a kind of a mystification if the cabochon is both not fathomable and a genesis. sent13: if there is something such that it is not a kind of a mystification then that the guru marvels propenonitrile is not incorrect. sent14: if something does not marvel denticle then that it is civil and is not a hamming is incorrect.
sent14 -> int1: if the wedgie does not marvel denticle the fact that it is civil and is not a hamming is not true.; void -> assump1: Let's assume that the wedgie does not marvel denticle.; int1 & assump1 -> int2: that the wedgie is a kind of civil thing that is not a kind of a hamming does not hold.; int2 & sent3 -> int3: the wedgie is exocentric.;
that the wedgie is both a hamming and not a Malpighia does not hold.
sent7 -> int4: the cabochon is not fathomable but it is a genesis if it is a Carya.; sent4 & sent8 -> int5: the cabochon is a kind of a Carya.; int4 & int5 -> int6: the cabochon is not fathomable but a genesis.; sent12 & int6 -> int7: the pantile is not a mystification.; int7 -> int8: something is not a mystification.; int8 & sent13 -> int9: the guru does marvel propenonitrile.; int9 -> int10: there exists something such that it marvels propenonitrile.; int10 & sent2 -> int11: either the librarian does marvel propenonitrile or it is a kind of a camber or both.; sent9 -> int12: the librarian is exocentric if it marvels propenonitrile.; sent11 -> int13: the librarian is exocentric if it is a camber.; int11 & int12 & int13 -> int14: the librarian is exocentric.; sent5 & int14 -> int15: the homeowner is exocentric.;
$hypothesis$ = the wedgie does marvel denticle. ; $context$ = sent1: the fact that the wedgie is a kind of a hamming that is not a Malpighia does not hold if the homeowner marvels denticle. sent2: the librarian does marvel propenonitrile and/or it is a camber if there is something such that it marvel propenonitrile. sent3: the wedgie is exocentric if that it is civil and is not a kind of a hamming is not true. sent4: that the cabochon is a Carya is not false if the fact that the shunt is a kind of a Carya but it is not heavy-duty is not correct. sent5: the homeowner is exocentric if the librarian is exocentric. sent6: that the spittoon is a hamming is true. sent7: that something is not fathomable and is a kind of a genesis is right if it is a kind of a Carya. sent8: that the shunt is a Carya and not heavy-duty is not correct. sent9: something is exocentric if it does marvel propenonitrile. sent10: that the wedgie is a noseband that is undramatic is not correct. sent11: if something is a camber it is exocentric. sent12: the pantile is not a kind of a mystification if the cabochon is both not fathomable and a genesis. sent13: if there is something such that it is not a kind of a mystification then that the guru marvels propenonitrile is not incorrect. sent14: if something does not marvel denticle then that it is civil and is not a hamming is incorrect. ; $proof$ = 
sent14 -> int1: if the wedgie does not marvel denticle the fact that it is civil and is not a hamming is not true.; void -> assump1: Let's assume that the wedgie does not marvel denticle.; int1 & assump1 -> int2: that the wedgie is a kind of civil thing that is not a kind of a hamming does not hold.; int2 & sent3 -> int3: the wedgie is exocentric.; __UNKNOWN__