that the gravedigger is a spot and homiletics is wrong.
sent1: the fact that the gravedigger does multiply quartan but it is not a duplex is not right if the fact that the synonymist multiply quartan is not wrong. sent2: the synonymist multiplies quartan if it is not non-fewer. sent3: if the fact that something multiplies quartan and is not a duplex is not true it is homiletics. sent4: the gravedigger is homiletics if it is a duplex. sent5: the fore-and-after is a gathering. sent6: the fact that the gravedigger multiplies quartan and is a duplex does not hold if that the synonymist does multiplies quartan is not wrong. sent7: the synonymist duplexes if the fact that it is asymmetrical and it is not a dimmer is not true. sent8: the fact that the gravedigger multiplies quartan and is a duplex is wrong. sent9: the fact that the fore-and-after multiplies quartan and is not technical is false. sent10: that the fact that the gravedigger is a Smitane but it is not a kind of a backup is not wrong does not hold. sent11: something is homiletics if it duplexes. sent12: if the fore-and-after is technical then the synonymist is not non-fewer. sent13: the fore-and-after is a technical and it is a gathering. sent14: something is a kind of a technical if that it does not multiply quartan or it is not fewer or both is incorrect. sent15: if the synonymist is a kind of a spot but it does not gather the fore-and-after is not a spot. sent16: the gravedigger is a spot. sent17: if the isomer is a technical the synonymist is a kind of a spot but it does not gather.
sent13 -> int1: the fore-and-after is technical.; int1 & sent12 -> int2: the synonymist is fewer.; int2 & sent2 -> int3: that the synonymist multiplies quartan is correct.; int3 & sent1 -> int4: that that the gravedigger does multiply quartan and is not a duplex is not wrong is not true.; sent3 -> int5: if the fact that the gravedigger multiplies quartan and does not duplex is false it is homiletics.; int4 & int5 -> int6: the gravedigger is homiletics.; int6 & sent16 -> hypothesis;
that that the gravedigger is both a spot and not non-homiletics is not incorrect does not hold.
sent14 -> int7: if the fact that the isomer either does not multiply quartan or is not fewer or both does not hold it is a technical.;
$hypothesis$ = that the gravedigger is a spot and homiletics is wrong. ; $context$ = sent1: the fact that the gravedigger does multiply quartan but it is not a duplex is not right if the fact that the synonymist multiply quartan is not wrong. sent2: the synonymist multiplies quartan if it is not non-fewer. sent3: if the fact that something multiplies quartan and is not a duplex is not true it is homiletics. sent4: the gravedigger is homiletics if it is a duplex. sent5: the fore-and-after is a gathering. sent6: the fact that the gravedigger multiplies quartan and is a duplex does not hold if that the synonymist does multiplies quartan is not wrong. sent7: the synonymist duplexes if the fact that it is asymmetrical and it is not a dimmer is not true. sent8: the fact that the gravedigger multiplies quartan and is a duplex is wrong. sent9: the fact that the fore-and-after multiplies quartan and is not technical is false. sent10: that the fact that the gravedigger is a Smitane but it is not a kind of a backup is not wrong does not hold. sent11: something is homiletics if it duplexes. sent12: if the fore-and-after is technical then the synonymist is not non-fewer. sent13: the fore-and-after is a technical and it is a gathering. sent14: something is a kind of a technical if that it does not multiply quartan or it is not fewer or both is incorrect. sent15: if the synonymist is a kind of a spot but it does not gather the fore-and-after is not a spot. sent16: the gravedigger is a spot. sent17: if the isomer is a technical the synonymist is a kind of a spot but it does not gather. ; $proof$ = 
sent13 -> int1: the fore-and-after is technical.; int1 & sent12 -> int2: the synonymist is fewer.; int2 & sent2 -> int3: that the synonymist multiplies quartan is correct.; int3 & sent1 -> int4: that that the gravedigger does multiply quartan and is not a duplex is not wrong is not true.; sent3 -> int5: if the fact that the gravedigger multiplies quartan and does not duplex is false it is homiletics.; int4 & int5 -> int6: the gravedigger is homiletics.; int6 & sent16 -> hypothesis; __DISPROVED__