the after-shave does strengthen Caelum.
sent1: if a non-synonymous thing does not disentangle breakableness then it is not epiphyseal. sent2: the haptoglobin is not reliable and strengthens aggravator if it does not disentangle gryphon. sent3: if something that does not disentangle gryphon is not a Caranx then it does not strengthen Caelum. sent4: the haptoglobin does not disentangle gryphon. sent5: if the fact that the haptoglobin does not disentangle gryphon is not wrong it is not reliable. sent6: the haptoglobin is not synonymous and it does not disentangle breakableness if the tostada is non-discriminatory. sent7: something disentangles alpha if it does relay. sent8: if something does not relay then it does not disentangle gryphon and it is not a kind of a Caranx. sent9: if something is a kind of a Caranx the after-shave does relay. sent10: the hypertonicity is not parasympathomimetic but it is a cork if it is not reliable. sent11: if something does strengthen aggravator it is a Caranx. sent12: if something does disentangle alpha then it strengthens Caelum. sent13: The gryphon does not disentangle haptoglobin. sent14: if the tostada is not a pollination it is not discriminatory. sent15: the tostada is not a pollination.
sent2 & sent4 -> int1: the haptoglobin is not reliable but it does strengthen aggravator.; int1 -> int2: the haptoglobin strengthens aggravator.; sent11 -> int3: if the haptoglobin strengthens aggravator then the fact that it is a Caranx is true.; int2 & int3 -> int4: the haptoglobin is a Caranx.; int4 -> int5: something is a Caranx.; int5 & sent9 -> int6: the after-shave does relay.; sent7 -> int7: if the after-shave relays then it disentangles alpha.; int6 & int7 -> int8: the after-shave does disentangle alpha.; sent12 -> int9: if the after-shave disentangles alpha then it strengthens Caelum.; int8 & int9 -> hypothesis;
the after-shave does not strengthen Caelum.
sent3 -> int10: the after-shave does not strengthen Caelum if it does not disentangle gryphon and it is not a Caranx.; sent8 -> int11: the after-shave does not disentangle gryphon and it is not a Caranx if that it does not relay is true.; sent1 -> int12: if the haptoglobin is not synonymous and does not disentangle breakableness then it is not epiphyseal.; sent14 & sent15 -> int13: that the tostada is not discriminatory hold.; sent6 & int13 -> int14: the haptoglobin is non-synonymous and it does not disentangle breakableness.; int12 & int14 -> int15: the haptoglobin is not epiphyseal.; int15 -> int16: the haptoglobin is not epiphyseal and/or it does disentangle alpha.; int16 -> int17: something is not epiphyseal or does disentangle alpha or both.;
$hypothesis$ = the after-shave does strengthen Caelum. ; $context$ = sent1: if a non-synonymous thing does not disentangle breakableness then it is not epiphyseal. sent2: the haptoglobin is not reliable and strengthens aggravator if it does not disentangle gryphon. sent3: if something that does not disentangle gryphon is not a Caranx then it does not strengthen Caelum. sent4: the haptoglobin does not disentangle gryphon. sent5: if the fact that the haptoglobin does not disentangle gryphon is not wrong it is not reliable. sent6: the haptoglobin is not synonymous and it does not disentangle breakableness if the tostada is non-discriminatory. sent7: something disentangles alpha if it does relay. sent8: if something does not relay then it does not disentangle gryphon and it is not a kind of a Caranx. sent9: if something is a kind of a Caranx the after-shave does relay. sent10: the hypertonicity is not parasympathomimetic but it is a cork if it is not reliable. sent11: if something does strengthen aggravator it is a Caranx. sent12: if something does disentangle alpha then it strengthens Caelum. sent13: The gryphon does not disentangle haptoglobin. sent14: if the tostada is not a pollination it is not discriminatory. sent15: the tostada is not a pollination. ; $proof$ = 
sent2 & sent4 -> int1: the haptoglobin is not reliable but it does strengthen aggravator.; int1 -> int2: the haptoglobin strengthens aggravator.; sent11 -> int3: if the haptoglobin strengthens aggravator then the fact that it is a Caranx is true.; int2 & int3 -> int4: the haptoglobin is a Caranx.; int4 -> int5: something is a Caranx.; int5 & sent9 -> int6: the after-shave does relay.; sent7 -> int7: if the after-shave relays then it disentangles alpha.; int6 & int7 -> int8: the after-shave does disentangle alpha.; sent12 -> int9: if the after-shave disentangles alpha then it strengthens Caelum.; int8 & int9 -> hypothesis; __PROVED__