the ACE is not semiterrestrial.
sent1: the ACE is Shona if the conserve is arenaceous. sent2: the fact that something is non-chalky but it does claw quickstep is not true if it is a kind of a goal-kick. sent3: something does clap tormentor and is Shona if it is not a combination. sent4: something that is Shona is semiterrestrial. sent5: if that the haunch is not chalky but it claws quickstep is false it does not clap VHF. sent6: if the conserve is an inexperienced and is not a chevrotain the haunch is not arenaceous. sent7: the youth is not uninformative but it is arenaceous if the haunch is not arenaceous. sent8: if there is something such that it is arenaceous but not non-Shona the ACE is non-semiterrestrial. sent9: the conserve is a kind of an inexperienced but it is not a chevrotain. sent10: if something does not clap VHF then the fact that it is a combination and it does clap tormentor is not right. sent11: the haunch is a goal-kick if something that does not corrode Maeterlinck is exculpatory. sent12: the fact that the youth does not claw quickstep but it does clap VHF is false. sent13: if the conserve is uninformative then that it is arenaceous is not wrong. sent14: if the fact that the youth does not claw quickstep but it does clap VHF does not hold it is not a combination. sent15: the youth does not corrode Maeterlinck but it is exculpatory.
sent6 & sent9 -> int1: the haunch is not arenaceous.; int1 & sent7 -> int2: the youth is not uninformative but it is arenaceous.; int2 -> int3: the youth is arenaceous.; sent3 -> int4: if the youth is not a combination the fact that it claps tormentor and is Shona hold.; sent14 & sent12 -> int5: the youth is not a kind of a combination.; int4 & int5 -> int6: the youth claps tormentor and it is a Shona.; int6 -> int7: the youth is a Shona.; int3 & int7 -> int8: the youth is not non-arenaceous but Shona.; int8 -> int9: something is both arenaceous and a Shona.; int9 & sent8 -> hypothesis;
the ACE is semiterrestrial.
sent4 -> int10: the ACE is semiterrestrial if it is Shona.; sent10 -> int11: the fact that that the haunch is a combination and it does clap tormentor is correct does not hold if it does not clap VHF.; sent2 -> int12: the fact that if the haunch is a kind of the goal-kick that the haunch is non-chalky thing that does claw quickstep is incorrect hold.; sent15 -> int13: there exists something such that it does not corrode Maeterlinck and is exculpatory.; int13 & sent11 -> int14: the fact that the haunch is not a goal-kick is incorrect.; int12 & int14 -> int15: the fact that the haunch is a kind of non-chalky thing that does claw quickstep is not correct.; sent5 & int15 -> int16: the haunch does not clap VHF.; int11 & int16 -> int17: that the haunch is a combination and it does clap tormentor is not right.; int17 -> int18: there is something such that that it is a combination and it claps tormentor is not true.;
$hypothesis$ = the ACE is not semiterrestrial. ; $context$ = sent1: the ACE is Shona if the conserve is arenaceous. sent2: the fact that something is non-chalky but it does claw quickstep is not true if it is a kind of a goal-kick. sent3: something does clap tormentor and is Shona if it is not a combination. sent4: something that is Shona is semiterrestrial. sent5: if that the haunch is not chalky but it claws quickstep is false it does not clap VHF. sent6: if the conserve is an inexperienced and is not a chevrotain the haunch is not arenaceous. sent7: the youth is not uninformative but it is arenaceous if the haunch is not arenaceous. sent8: if there is something such that it is arenaceous but not non-Shona the ACE is non-semiterrestrial. sent9: the conserve is a kind of an inexperienced but it is not a chevrotain. sent10: if something does not clap VHF then the fact that it is a combination and it does clap tormentor is not right. sent11: the haunch is a goal-kick if something that does not corrode Maeterlinck is exculpatory. sent12: the fact that the youth does not claw quickstep but it does clap VHF is false. sent13: if the conserve is uninformative then that it is arenaceous is not wrong. sent14: if the fact that the youth does not claw quickstep but it does clap VHF does not hold it is not a combination. sent15: the youth does not corrode Maeterlinck but it is exculpatory. ; $proof$ = 
sent6 & sent9 -> int1: the haunch is not arenaceous.; int1 & sent7 -> int2: the youth is not uninformative but it is arenaceous.; int2 -> int3: the youth is arenaceous.; sent3 -> int4: if the youth is not a combination the fact that it claps tormentor and is Shona hold.; sent14 & sent12 -> int5: the youth is not a kind of a combination.; int4 & int5 -> int6: the youth claps tormentor and it is a Shona.; int6 -> int7: the youth is a Shona.; int3 & int7 -> int8: the youth is not non-arenaceous but Shona.; int8 -> int9: something is both arenaceous and a Shona.; int9 & sent8 -> hypothesis; __PROVED__