the low-warp-loom is not precise.
sent1: if something is a tympanum it is precise. sent2: if the fact that the wherry is a tympanum is right then the hotpot is a tympanum but it does not disoblige Kwan-yin. sent3: if the masseur is a feebleness that it does not pit linecut and it does not disoblige Kwan-yin is not correct. sent4: if the hotpot does pit linecut the resin pit linecut. sent5: if something that does disoblige low-warp-loom is not a tympanum then it is not a kind of an imbroglio. sent6: the masseur is an imbroglio if the partridgeberry is an imbroglio. sent7: something is a kind of a Lycopus and is not a feebleness. sent8: if the wherry is not a kind of a tympanum the masseur is not photovoltaic and it is not an imbroglio. sent9: something that is a kind of a tympanum that does not disoblige Kwan-yin does not disoblige low-warp-loom. sent10: the resin pits linecut and it does disoblige low-warp-loom if the hotpot does not disoblige low-warp-loom. sent11: if there exists something such that it is a Lycopus and is not a feebleness then the partridgeberry is a kind of an imbroglio. sent12: the masseur is a feebleness. sent13: that the low-warp-loom is not precise is not false if the resin pits linecut and disobliges low-warp-loom. sent14: the masseur does not disoblige Kwan-yin.
void -> assump1: Let's assume that the wherry is not a tympanum.; sent8 & assump1 -> int1: the masseur is both not photovoltaic and not an imbroglio.; int1 -> int2: the masseur is not an imbroglio.; sent7 & sent11 -> int3: the partridgeberry is an imbroglio.; sent6 & int3 -> int4: the masseur is a kind of an imbroglio.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the wherry is a tympanum.; int6 & sent2 -> int7: the hotpot is a tympanum that does not disoblige Kwan-yin.; sent9 -> int8: the hotpot does not disoblige low-warp-loom if it is a tympanum and does not disoblige Kwan-yin.; int7 & int8 -> int9: the hotpot does not disoblige low-warp-loom.; int9 & sent10 -> int10: the resin does pit linecut and it disobliges low-warp-loom.; int10 & sent13 -> hypothesis;
the low-warp-loom is precise.
sent1 -> int11: the fact that if the low-warp-loom is the tympanum the low-warp-loom is precise hold.; sent3 & sent12 -> int12: the fact that the masseur does not pit linecut and does not disoblige Kwan-yin is false.; int12 -> int13: there is something such that the fact that the fact that it does not pit linecut and it does not disoblige Kwan-yin is true is not true.;
$hypothesis$ = the low-warp-loom is not precise. ; $context$ = sent1: if something is a tympanum it is precise. sent2: if the fact that the wherry is a tympanum is right then the hotpot is a tympanum but it does not disoblige Kwan-yin. sent3: if the masseur is a feebleness that it does not pit linecut and it does not disoblige Kwan-yin is not correct. sent4: if the hotpot does pit linecut the resin pit linecut. sent5: if something that does disoblige low-warp-loom is not a tympanum then it is not a kind of an imbroglio. sent6: the masseur is an imbroglio if the partridgeberry is an imbroglio. sent7: something is a kind of a Lycopus and is not a feebleness. sent8: if the wherry is not a kind of a tympanum the masseur is not photovoltaic and it is not an imbroglio. sent9: something that is a kind of a tympanum that does not disoblige Kwan-yin does not disoblige low-warp-loom. sent10: the resin pits linecut and it does disoblige low-warp-loom if the hotpot does not disoblige low-warp-loom. sent11: if there exists something such that it is a Lycopus and is not a feebleness then the partridgeberry is a kind of an imbroglio. sent12: the masseur is a feebleness. sent13: that the low-warp-loom is not precise is not false if the resin pits linecut and disobliges low-warp-loom. sent14: the masseur does not disoblige Kwan-yin. ; $proof$ = 
void -> assump1: Let's assume that the wherry is not a tympanum.; sent8 & assump1 -> int1: the masseur is both not photovoltaic and not an imbroglio.; int1 -> int2: the masseur is not an imbroglio.; sent7 & sent11 -> int3: the partridgeberry is an imbroglio.; sent6 & int3 -> int4: the masseur is a kind of an imbroglio.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the wherry is a tympanum.; int6 & sent2 -> int7: the hotpot is a tympanum that does not disoblige Kwan-yin.; sent9 -> int8: the hotpot does not disoblige low-warp-loom if it is a tympanum and does not disoblige Kwan-yin.; int7 & int8 -> int9: the hotpot does not disoblige low-warp-loom.; int9 & sent10 -> int10: the resin does pit linecut and it disobliges low-warp-loom.; int10 & sent13 -> hypothesis; __PROVED__