that the porkholt does not hone notepaper but it is a laziness is not correct.
sent1: that the tetracycline does not hone notepaper is not wrong if the inkwell is a joint and it is a kind of a bookbindery. sent2: the purser is both not a bookbindery and an ironwood if the inkwell is not a bookbindery. sent3: the pulp is a kind of an ironwood and is a jib if the inkwell is not an elective. sent4: the porkholt does not hone notepaper but it is a laziness if the tetracycline does not hone notepaper. sent5: the housemother is a Riksmal. sent6: the porkholt does not hone notepaper. sent7: that the limpkin is a jib is correct if the inkwell is not a joint. sent8: the purser hones notepaper and it is a kind of an ironwood. sent9: if something is a jib then it is a kind of a joint. sent10: that the inkwell joints but it is not a kind of an elective is false. sent11: the inkwell is a kind of a bookbindery. sent12: the inkwell is non-elective if the limpkin is a kind of a Riksmal but it is not a non-elective. sent13: that the housemother is a laziness and is not a Riksmal is not right. sent14: the inkwell is not an ironwood. sent15: if the limpkin is a jib that the purser is an ironwood but it is not an elective does not hold. sent16: if the fact that the purser is an ironwood that is not a kind of an elective is not right the housemother is not a Riksmal. sent17: if the tetracycline does not hone notepaper then the porkholt does not hone notepaper. sent18: the fact that something does not hone notepaper but it is a laziness is false if it is a joint. sent19: if the purser is not a bookbindery then the inkwell is not non-elective. sent20: the shrink-wrap hones notepaper. sent21: the housemother is not a Riksmal if the purser is not a kind of an ironwood.
void -> assump1: Let's assume that the inkwell is not a joint.; sent7 & assump1 -> int1: the limpkin is a jib.; int1 & sent15 -> int2: that the purser is a kind of an ironwood but it is not a kind of an elective does not hold.; int2 & sent16 -> int3: the housemother is not a kind of a Riksmal.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the inkwell is a joint.; int5 & sent11 -> int6: the inkwell is a joint and a bookbindery.; int6 & sent1 -> int7: the tetracycline does not hone notepaper.; int7 & sent4 -> hypothesis;
the fact that the porkholt does not hone notepaper and is a laziness is not right.
sent18 -> int8: if the porkholt is joint that it does not hone notepaper and it is a laziness is incorrect.;
$hypothesis$ = that the porkholt does not hone notepaper but it is a laziness is not correct. ; $context$ = sent1: that the tetracycline does not hone notepaper is not wrong if the inkwell is a joint and it is a kind of a bookbindery. sent2: the purser is both not a bookbindery and an ironwood if the inkwell is not a bookbindery. sent3: the pulp is a kind of an ironwood and is a jib if the inkwell is not an elective. sent4: the porkholt does not hone notepaper but it is a laziness if the tetracycline does not hone notepaper. sent5: the housemother is a Riksmal. sent6: the porkholt does not hone notepaper. sent7: that the limpkin is a jib is correct if the inkwell is not a joint. sent8: the purser hones notepaper and it is a kind of an ironwood. sent9: if something is a jib then it is a kind of a joint. sent10: that the inkwell joints but it is not a kind of an elective is false. sent11: the inkwell is a kind of a bookbindery. sent12: the inkwell is non-elective if the limpkin is a kind of a Riksmal but it is not a non-elective. sent13: that the housemother is a laziness and is not a Riksmal is not right. sent14: the inkwell is not an ironwood. sent15: if the limpkin is a jib that the purser is an ironwood but it is not an elective does not hold. sent16: if the fact that the purser is an ironwood that is not a kind of an elective is not right the housemother is not a Riksmal. sent17: if the tetracycline does not hone notepaper then the porkholt does not hone notepaper. sent18: the fact that something does not hone notepaper but it is a laziness is false if it is a joint. sent19: if the purser is not a bookbindery then the inkwell is not non-elective. sent20: the shrink-wrap hones notepaper. sent21: the housemother is not a Riksmal if the purser is not a kind of an ironwood. ; $proof$ = 
void -> assump1: Let's assume that the inkwell is not a joint.; sent7 & assump1 -> int1: the limpkin is a jib.; int1 & sent15 -> int2: that the purser is a kind of an ironwood but it is not a kind of an elective does not hold.; int2 & sent16 -> int3: the housemother is not a kind of a Riksmal.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the inkwell is a joint.; int5 & sent11 -> int6: the inkwell is a joint and a bookbindery.; int6 & sent1 -> int7: the tetracycline does not hone notepaper.; int7 & sent4 -> hypothesis; __DISPROVED__