the sundae is not elfin if the fife is not technophilic and is Andalusian.
sent1: there is something such that it is not technophilic. sent2: if the fact that the azurite is rimless is not wrong then it is a scholasticism. sent3: if the fife is technophilic and it is Andalusian the sundae is not elfin. sent4: the fife is not technophilic. sent5: if the azurite is a scholasticism then the fact that the boatswain does detoxify and pestles is not correct. sent6: the sundae is elfin if the fact that the boatswain does not detoxify but it is a pestle is not correct. sent7: the sundae is elfin. sent8: the sundae is elfin if the fife is not technophilic but it is Andalusian. sent9: the azurite pestles if something is not technophilic but it is rimless. sent10: that the boatswain does detoxify and pestles does not hold. sent11: the azurite is rimless if there is something such that it is non-technophilic thing that is Andalusian. sent12: the azurite is Andalusian. sent13: there exists something such that it is both technophilic and Andalusian. sent14: if the azurite does tarnish Lens then it is a kind of a storm. sent15: if the boatswain detoxifies then that the sundae is not elfin hold. sent16: the sundae is not Andalusian. sent17: there is something such that it is Andalusian. sent18: the sundae is not elfin if the fact that the boatswain does not detoxify but it is a pestle is incorrect. sent19: that the boatswain does not detoxify but it is a pestle is wrong if the azurite is a scholasticism.
void -> assump1: Let's assume that the fife is not technophilic but it is Andalusian.; assump1 -> int1: something is not technophilic but it is Andalusian.; int1 & sent11 -> int2: the azurite is rimless.; int2 & sent2 -> int3: the azurite is a scholasticism.; int3 & sent19 -> int4: that the boatswain does not detoxify but it is a pestle is wrong.; int4 & sent18 -> int5: the sundae is not elfin.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the sundae is not elfin if the fife is not technophilic and is Andalusian. ; $context$ = sent1: there is something such that it is not technophilic. sent2: if the fact that the azurite is rimless is not wrong then it is a scholasticism. sent3: if the fife is technophilic and it is Andalusian the sundae is not elfin. sent4: the fife is not technophilic. sent5: if the azurite is a scholasticism then the fact that the boatswain does detoxify and pestles is not correct. sent6: the sundae is elfin if the fact that the boatswain does not detoxify but it is a pestle is not correct. sent7: the sundae is elfin. sent8: the sundae is elfin if the fife is not technophilic but it is Andalusian. sent9: the azurite pestles if something is not technophilic but it is rimless. sent10: that the boatswain does detoxify and pestles does not hold. sent11: the azurite is rimless if there is something such that it is non-technophilic thing that is Andalusian. sent12: the azurite is Andalusian. sent13: there exists something such that it is both technophilic and Andalusian. sent14: if the azurite does tarnish Lens then it is a kind of a storm. sent15: if the boatswain detoxifies then that the sundae is not elfin hold. sent16: the sundae is not Andalusian. sent17: there is something such that it is Andalusian. sent18: the sundae is not elfin if the fact that the boatswain does not detoxify but it is a pestle is incorrect. sent19: that the boatswain does not detoxify but it is a pestle is wrong if the azurite is a scholasticism. ; $proof$ = 
void -> assump1: Let's assume that the fife is not technophilic but it is Andalusian.; assump1 -> int1: something is not technophilic but it is Andalusian.; int1 & sent11 -> int2: the azurite is rimless.; int2 & sent2 -> int3: the azurite is a scholasticism.; int3 & sent19 -> int4: that the boatswain does not detoxify but it is a pestle is wrong.; int4 & sent18 -> int5: the sundae is not elfin.; [assump1] & int5 -> hypothesis; __PROVED__