the coatrack does not unbend monopoly and does not auspicate if the earphone is not dialectic.
sent1: the retainer does unbend monopoly if there is something such that it is not non-higher. sent2: if the wavefront does not unbend keratocele the fact that the goniometer is a trapezius and is not higher is not true. sent3: the coatrack is not a dialectic and does not unbend monopoly. sent4: that the wavefront does not unbend keratocele is true if the earphone is not centrosomic and not dialectic. sent5: that the fact that the goniometer unbends keratocele and is not higher is not incorrect is not right. sent6: everything is not a kind of a hurdle. sent7: everything is not centrosomic. sent8: if there exists something such that the fact that it is a trapezius and it is not higher is not right then the retainer unbends monopoly. sent9: if the wavefront unbends monopoly the coatrack does not unbends monopoly. sent10: the coatrack does not unbend monopoly and auspicates if the earphone is not a dialectic. sent11: if the earphone does not unbend monopoly the coatrack does not auspicate but it is centrosomic. sent12: the earphone does not unbend monopoly and is not centrosomic if the coatrack does unbend monopoly. sent13: the earphone does auspicate if there is something such that it is centrosomic. sent14: the Colony is not a dialectic. sent15: everything is not a kind of a Fuji. sent16: the coatrack does not unbend monopoly and does not auspicate if the retainer unbend monopoly. sent17: if the earphone is not dialectic then the coatrack does not unbend monopoly.
sent7 -> int1: the earphone is not centrosomic.; void -> assump1: Let's assume that the earphone is not a dialectic.; int1 & assump1 -> int2: the earphone is not centrosomic and not dialectic.; sent4 & int2 -> int3: that the wavefront does not unbend keratocele is correct.; sent2 & int3 -> int4: that the goniometer is a kind of a trapezius and is not higher is not right.; int4 -> int5: there exists something such that that it is a trapezius but not higher is incorrect.; int5 & sent8 -> int6: that the retainer does unbend monopoly is not incorrect.; sent16 & int6 -> int7: the coatrack does not unbend monopoly and it does not auspicate.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the coatrack does not unbend monopoly and does not auspicate if the earphone is not dialectic. ; $context$ = sent1: the retainer does unbend monopoly if there is something such that it is not non-higher. sent2: if the wavefront does not unbend keratocele the fact that the goniometer is a trapezius and is not higher is not true. sent3: the coatrack is not a dialectic and does not unbend monopoly. sent4: that the wavefront does not unbend keratocele is true if the earphone is not centrosomic and not dialectic. sent5: that the fact that the goniometer unbends keratocele and is not higher is not incorrect is not right. sent6: everything is not a kind of a hurdle. sent7: everything is not centrosomic. sent8: if there exists something such that the fact that it is a trapezius and it is not higher is not right then the retainer unbends monopoly. sent9: if the wavefront unbends monopoly the coatrack does not unbends monopoly. sent10: the coatrack does not unbend monopoly and auspicates if the earphone is not a dialectic. sent11: if the earphone does not unbend monopoly the coatrack does not auspicate but it is centrosomic. sent12: the earphone does not unbend monopoly and is not centrosomic if the coatrack does unbend monopoly. sent13: the earphone does auspicate if there is something such that it is centrosomic. sent14: the Colony is not a dialectic. sent15: everything is not a kind of a Fuji. sent16: the coatrack does not unbend monopoly and does not auspicate if the retainer unbend monopoly. sent17: if the earphone is not dialectic then the coatrack does not unbend monopoly. ; $proof$ = 
sent7 -> int1: the earphone is not centrosomic.; void -> assump1: Let's assume that the earphone is not a dialectic.; int1 & assump1 -> int2: the earphone is not centrosomic and not dialectic.; sent4 & int2 -> int3: that the wavefront does not unbend keratocele is correct.; sent2 & int3 -> int4: that the goniometer is a kind of a trapezius and is not higher is not right.; int4 -> int5: there exists something such that that it is a trapezius but not higher is incorrect.; int5 & sent8 -> int6: that the retainer does unbend monopoly is not incorrect.; sent16 & int6 -> int7: the coatrack does not unbend monopoly and it does not auspicate.; [assump1] & int7 -> hypothesis; __PROVED__