the glass-cutter is a drummer.
sent1: if something is both not a pilferer and not a dynamiter the glass-cutter is a drummer. sent2: if something is a pilferer and it is a narcolepsy then the bobbin does not jar despondency. sent3: the Paraguayan is not a kind of a dynamiter. sent4: there exists something such that it is not a dynamiter. sent5: if there is something such that the fact that it jars despondency and is not a pilferer is false the fact that the bobbin is a pilferer is not wrong. sent6: if the bobbin is a dwarfishness and not a guffaw it does jar despondency. sent7: the almandine is not a kind of a vocative but it middles. sent8: something is a kind of a dwarfishness but it is not a kind of a guffaw if it is a debarkation. sent9: the bobbin is a kind of a drummer. sent10: something is a kind of a narcolepsy that is a dynamiter if it is not a dwarfishness. sent11: there is something such that the fact that it does not urticate despondency is not wrong. sent12: the bobbin is a vocative. sent13: the glass-cutter is not a drummer if the Paraguayan is a drummer. sent14: that the almandine is a debarkation is incorrect if it is not a vocative and does middle. sent15: the fact that the bobbin is a kind of a dwarfishness hold. sent16: if the bobbin is vocative then the fact that it is a debarkation is correct. sent17: if the almandine is not a debarkation it is not a dwarfishness and it does not guffaw. sent18: if there exists something such that it is a kind of a narcolepsy the fact that the farmplace does jar despondency and is not a kind of a pilferer does not hold.
void -> assump1: Let's assume that that the Paraguayan is a pilferer hold.; sent8 -> int1: the bobbin is a kind of a dwarfishness and is not a kind of a guffaw if it is a debarkation.; sent16 & sent12 -> int2: the bobbin is a kind of a debarkation.; int1 & int2 -> int3: the bobbin is a dwarfishness but it is not a guffaw.; sent6 & int3 -> int4: the bobbin jars despondency.;
the glass-cutter is not a drummer.
sent10 -> int5: if that the almandine is not a dwarfishness is not incorrect then it is a narcolepsy and it is a dynamiter.; sent14 & sent7 -> int6: the almandine is not a kind of a debarkation.; sent17 & int6 -> int7: the almandine is not a kind of a dwarfishness and it is not a guffaw.; int7 -> int8: the almandine is not a kind of a dwarfishness.; int5 & int8 -> int9: the almandine is both a narcolepsy and a dynamiter.; int9 -> int10: the almandine is a kind of a narcolepsy.; int10 -> int11: there is something such that it is a kind of a narcolepsy.; int11 & sent18 -> int12: that that the farmplace does jar despondency but it is not a pilferer is wrong is right.; int12 -> int13: there exists something such that the fact that it jars despondency and it is not a pilferer is false.; int13 & sent5 -> int14: the bobbin is a kind of a pilferer.; int14 -> int15: there exists something such that it is a pilferer.;
$hypothesis$ = the glass-cutter is a drummer. ; $context$ = sent1: if something is both not a pilferer and not a dynamiter the glass-cutter is a drummer. sent2: if something is a pilferer and it is a narcolepsy then the bobbin does not jar despondency. sent3: the Paraguayan is not a kind of a dynamiter. sent4: there exists something such that it is not a dynamiter. sent5: if there is something such that the fact that it jars despondency and is not a pilferer is false the fact that the bobbin is a pilferer is not wrong. sent6: if the bobbin is a dwarfishness and not a guffaw it does jar despondency. sent7: the almandine is not a kind of a vocative but it middles. sent8: something is a kind of a dwarfishness but it is not a kind of a guffaw if it is a debarkation. sent9: the bobbin is a kind of a drummer. sent10: something is a kind of a narcolepsy that is a dynamiter if it is not a dwarfishness. sent11: there is something such that the fact that it does not urticate despondency is not wrong. sent12: the bobbin is a vocative. sent13: the glass-cutter is not a drummer if the Paraguayan is a drummer. sent14: that the almandine is a debarkation is incorrect if it is not a vocative and does middle. sent15: the fact that the bobbin is a kind of a dwarfishness hold. sent16: if the bobbin is vocative then the fact that it is a debarkation is correct. sent17: if the almandine is not a debarkation it is not a dwarfishness and it does not guffaw. sent18: if there exists something such that it is a kind of a narcolepsy the fact that the farmplace does jar despondency and is not a kind of a pilferer does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the Paraguayan is a pilferer hold.; sent8 -> int1: the bobbin is a kind of a dwarfishness and is not a kind of a guffaw if it is a debarkation.; sent16 & sent12 -> int2: the bobbin is a kind of a debarkation.; int1 & int2 -> int3: the bobbin is a dwarfishness but it is not a guffaw.; sent6 & int3 -> int4: the bobbin jars despondency.; __UNKNOWN__