the fact that the pyxis is not a Lama and does shoplift is not correct.
sent1: the fact that the blowfly does not edge counterterrorist and is equivocal is not right. sent2: if that the single-leaf is not a motorcycling is right the termite does not frivol and is a motorcycling. sent3: the termite is both not small and a motorcycling. sent4: if the single-leaf does frivol the fact that it is a motorcycling and it is not equivocal is not correct. sent5: that the pyxis is not a Lama and frivols is wrong. sent6: the termite is not equivocal if it does not frivol and it is a motorcycling. sent7: the pyxis is a motorcycling. sent8: the fact that the pyxis is equivocal is not false if it does not frivol and is not a kind of a motorcycling. sent9: the counterterrorist is not a small if the blowfly is an attache and does not edge counterterrorist. sent10: the single-leaf is not a motorcycling if that the fact that the pyxis is not a Lama but it does shoplift does not hold is not wrong. sent11: if the termite is not equivocal the blowfly is a kind of an attache and does not edge counterterrorist. sent12: the counterterrorist is a kind of a small. sent13: the fact that the pyxis is a kind of a Lama and it shoplifts is not true. sent14: the blowfly is both not a motorcycling and an attache. sent15: that something is not a Lama and does shoplift is incorrect if it is not unequivocal.
void -> assump1: Let's assume that the fact that the pyxis is not a Lama but it does shoplift is false.; sent10 & assump1 -> int1: the single-leaf is not a motorcycling.; int1 & sent2 -> int2: the termite does not frivol but it is a motorcycling.; int2 & sent6 -> int3: the termite is not equivocal.; int3 & sent11 -> int4: the blowfly is an attache but it does not edge counterterrorist.; int4 & sent9 -> int5: the counterterrorist is not a small.; int5 & sent12 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the fact that the pyxis is not a kind of a Lama and shoplifts is incorrect.
sent15 -> int7: that if the pyxis is equivocal then the fact that the pyxis is not a kind of a Lama but it shoplifts is false is right.;
$hypothesis$ = the fact that the pyxis is not a Lama and does shoplift is not correct. ; $context$ = sent1: the fact that the blowfly does not edge counterterrorist and is equivocal is not right. sent2: if that the single-leaf is not a motorcycling is right the termite does not frivol and is a motorcycling. sent3: the termite is both not small and a motorcycling. sent4: if the single-leaf does frivol the fact that it is a motorcycling and it is not equivocal is not correct. sent5: that the pyxis is not a Lama and frivols is wrong. sent6: the termite is not equivocal if it does not frivol and it is a motorcycling. sent7: the pyxis is a motorcycling. sent8: the fact that the pyxis is equivocal is not false if it does not frivol and is not a kind of a motorcycling. sent9: the counterterrorist is not a small if the blowfly is an attache and does not edge counterterrorist. sent10: the single-leaf is not a motorcycling if that the fact that the pyxis is not a Lama but it does shoplift does not hold is not wrong. sent11: if the termite is not equivocal the blowfly is a kind of an attache and does not edge counterterrorist. sent12: the counterterrorist is a kind of a small. sent13: the fact that the pyxis is a kind of a Lama and it shoplifts is not true. sent14: the blowfly is both not a motorcycling and an attache. sent15: that something is not a Lama and does shoplift is incorrect if it is not unequivocal. ; $proof$ = 
void -> assump1: Let's assume that the fact that the pyxis is not a Lama but it does shoplift is false.; sent10 & assump1 -> int1: the single-leaf is not a motorcycling.; int1 & sent2 -> int2: the termite does not frivol but it is a motorcycling.; int2 & sent6 -> int3: the termite is not equivocal.; int3 & sent11 -> int4: the blowfly is an attache but it does not edge counterterrorist.; int4 & sent9 -> int5: the counterterrorist is not a small.; int5 & sent12 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__