the countersink is a wright.
sent1: if the prop does letter grocery then the redbud does not trouble osmium. sent2: the redbud letters redbud and is ministerial. sent3: the redbud does not still trigonometrician. sent4: the Jenny resets reinforcer and it letters grocery. sent5: the redbud does decline if it does not trouble osmium and is a frazzle. sent6: the fact that the countersink is not a wright and does letter grocery is not correct. sent7: something does frazzle. sent8: the prop is illative. sent9: the countersink frazzles. sent10: the redbud is a kind of a wright if it does not trouble osmium. sent11: if the prop does not letter grocery but it does decline it does frazzle. sent12: the redbud does trouble osmium if it does not still trigonometrician. sent13: if that the prop does not letter grocery but it does decline is wrong then the redbud does not trouble osmium. sent14: something is not illative if it is not a phoebe and stills trigonometrician. sent15: there exists something such that it does decline. sent16: The trigonometrician does not still redbud. sent17: the countersink is a wright if something is a frazzle and it is illative. sent18: if that the prop does not trouble osmium is correct then the fact that it is a wright and it is not a frazzle is not correct. sent19: the fact that the redbud is not a wright but it stills trigonometrician is wrong.
void -> assump1: Let's assume that that the prop does not letter grocery and declines does not hold.; sent13 & assump1 -> int1: that the redbud does not trouble osmium hold.; sent12 & sent3 -> int2: the redbud troubles osmium.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the prop does not letter grocery and is a decline.; int4 & sent11 -> int5: the prop is a frazzle.; int5 & sent8 -> int6: the prop is a frazzle and it is illative.; int6 -> int7: there exists something such that it is a frazzle and it is illative.; int7 & sent17 -> hypothesis;
the countersink is not a wright.
sent14 -> int8: if the redbud is not a kind of a phoebe but it does still trigonometrician then it is not illative.;
$hypothesis$ = the countersink is a wright. ; $context$ = sent1: if the prop does letter grocery then the redbud does not trouble osmium. sent2: the redbud letters redbud and is ministerial. sent3: the redbud does not still trigonometrician. sent4: the Jenny resets reinforcer and it letters grocery. sent5: the redbud does decline if it does not trouble osmium and is a frazzle. sent6: the fact that the countersink is not a wright and does letter grocery is not correct. sent7: something does frazzle. sent8: the prop is illative. sent9: the countersink frazzles. sent10: the redbud is a kind of a wright if it does not trouble osmium. sent11: if the prop does not letter grocery but it does decline it does frazzle. sent12: the redbud does trouble osmium if it does not still trigonometrician. sent13: if that the prop does not letter grocery but it does decline is wrong then the redbud does not trouble osmium. sent14: something is not illative if it is not a phoebe and stills trigonometrician. sent15: there exists something such that it does decline. sent16: The trigonometrician does not still redbud. sent17: the countersink is a wright if something is a frazzle and it is illative. sent18: if that the prop does not trouble osmium is correct then the fact that it is a wright and it is not a frazzle is not correct. sent19: the fact that the redbud is not a wright but it stills trigonometrician is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the prop does not letter grocery and declines does not hold.; sent13 & assump1 -> int1: that the redbud does not trouble osmium hold.; sent12 & sent3 -> int2: the redbud troubles osmium.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the prop does not letter grocery and is a decline.; int4 & sent11 -> int5: the prop is a frazzle.; int5 & sent8 -> int6: the prop is a frazzle and it is illative.; int6 -> int7: there exists something such that it is a frazzle and it is illative.; int7 & sent17 -> hypothesis; __PROVED__