the crewelwork is araneidal.
sent1: that the lespedeza is upper-class and does not gripe marlberry is incorrect if the fact that it does not caricature police hold. sent2: that the headstock is papal is not false if the chelate is a Tunisian. sent3: if the chelate does bargain petrolatum it is not Tunisian and/or it caricatures police. sent4: the chelate does seam petticoat and/or is a kind of a Tunisian. sent5: that the headstock is not papal but it is Tunisian is wrong if the pursuer bargains petrolatum. sent6: if the headstock is Tunisian it does not seam petticoat or gripes marlberry or both. sent7: if the headstock does bargain petrolatum the chelate caricatures police. sent8: the crewelwork is araneidal if the headstock caricatures police. sent9: the crewelwork bargains petrolatum. sent10: if the headstock does gripe marlberry it caricatures police. sent11: the chelate chutes. sent12: the horst is implausible if it is divisible. sent13: the fact that something seams petticoat and is not araneidal is incorrect if it is Tunisian. sent14: either the headstock is not a chute or it does bargain petrolatum or both if it is papal. sent15: the crewelwork is a chute. sent16: the headstock is a kind of a Pinot. sent17: if something does not caricature police or is papal or both it is a Tunisian. sent18: the headstock is not an ammonia and/or it is a Tunisian. sent19: something gripes marlberry if it does bargain petrolatum. sent20: if something is not a chute and/or it bargains petrolatum then it gripes marlberry. sent21: the headstock is a Tunisian if the chelate is papal. sent22: if the headstock bargains petrolatum it does gripe marlberry. sent23: the chelate is a chute or it is Tunisian or both. sent24: if the chelate does seam petticoat the headstock is papal. sent25: the crewelwork is not araneidal and/or is a Tunisian. sent26: if the fact that the lespedeza is upper-class but it does not gripe marlberry is not true then that the pursuer does not gripe marlberry is correct. sent27: if that the chelate seams petticoat but it is not araneidal is not true the crewelwork is not araneidal.
sent4 & sent24 & sent2 -> int1: the headstock is papal.; int1 & sent14 -> int2: the headstock is not a chute and/or bargains petrolatum.; sent20 -> int3: the headstock does gripe marlberry if it is not a chute or bargains petrolatum or both.; int2 & int3 -> int4: the headstock does gripe marlberry.; int4 & sent10 -> int5: the headstock caricatures police.; int5 & sent8 -> hypothesis;
the crewelwork is not araneidal.
sent13 -> int6: that the chelate does seam petticoat but it is not araneidal does not hold if it is Tunisian.;
$hypothesis$ = the crewelwork is araneidal. ; $context$ = sent1: that the lespedeza is upper-class and does not gripe marlberry is incorrect if the fact that it does not caricature police hold. sent2: that the headstock is papal is not false if the chelate is a Tunisian. sent3: if the chelate does bargain petrolatum it is not Tunisian and/or it caricatures police. sent4: the chelate does seam petticoat and/or is a kind of a Tunisian. sent5: that the headstock is not papal but it is Tunisian is wrong if the pursuer bargains petrolatum. sent6: if the headstock is Tunisian it does not seam petticoat or gripes marlberry or both. sent7: if the headstock does bargain petrolatum the chelate caricatures police. sent8: the crewelwork is araneidal if the headstock caricatures police. sent9: the crewelwork bargains petrolatum. sent10: if the headstock does gripe marlberry it caricatures police. sent11: the chelate chutes. sent12: the horst is implausible if it is divisible. sent13: the fact that something seams petticoat and is not araneidal is incorrect if it is Tunisian. sent14: either the headstock is not a chute or it does bargain petrolatum or both if it is papal. sent15: the crewelwork is a chute. sent16: the headstock is a kind of a Pinot. sent17: if something does not caricature police or is papal or both it is a Tunisian. sent18: the headstock is not an ammonia and/or it is a Tunisian. sent19: something gripes marlberry if it does bargain petrolatum. sent20: if something is not a chute and/or it bargains petrolatum then it gripes marlberry. sent21: the headstock is a Tunisian if the chelate is papal. sent22: if the headstock bargains petrolatum it does gripe marlberry. sent23: the chelate is a chute or it is Tunisian or both. sent24: if the chelate does seam petticoat the headstock is papal. sent25: the crewelwork is not araneidal and/or is a Tunisian. sent26: if the fact that the lespedeza is upper-class but it does not gripe marlberry is not true then that the pursuer does not gripe marlberry is correct. sent27: if that the chelate seams petticoat but it is not araneidal is not true the crewelwork is not araneidal. ; $proof$ = 
sent4 & sent24 & sent2 -> int1: the headstock is papal.; int1 & sent14 -> int2: the headstock is not a chute and/or bargains petrolatum.; sent20 -> int3: the headstock does gripe marlberry if it is not a chute or bargains petrolatum or both.; int2 & int3 -> int4: the headstock does gripe marlberry.; int4 & sent10 -> int5: the headstock caricatures police.; int5 & sent8 -> hypothesis; __PROVED__