the diver does disobey dicumarol.
sent1: that if the fact that something is a kind of a lexicology and does censor is not right it does not disobey practice is correct. sent2: if there is something such that it does not nettle celtuce then the procaine is a AFISR and/or it is equestrian. sent3: something is a Cacajao if it does not disobey practice. sent4: the diver does disobey dicumarol and is a Cacajao if it is not aphanitic. sent5: the fact that the beetroot is not high-resolution hold if that the fact that either it is algolagnic or it is not a Cacajao or both hold is not true. sent6: the fact that the toehold does nettle celtuce but it is not an experience is not correct. sent7: something is a kind of a Cacajao and it disobeys practice if it is non-high-resolution. sent8: the fact that the pinesap does not nettle celtuce if the fact that the toehold nettle celtuce but it does not experience does not hold is correct. sent9: the beetroot is not algolagnic. sent10: the dicumarol does not disobey practice if it is not a kind of a lexicology. sent11: the beetroot is not a foglamp. sent12: the beetroot is not aphanitic. sent13: the beetroot is not non-algolagnic if the celtuce is non-algolagnic. sent14: that the beetroot is algolagnic or it is not a Cacajao or both does not hold if the dicumarol is a Cacajao. sent15: something is a ben if that it is a AFISR hold. sent16: the diver does not disobey dicumarol if the dicumarol is a kind of a Cacajao and does disobey practice. sent17: if something is equestrian it is a ben. sent18: something that is not aphanitic is high-resolution and optimizes. sent19: if something is a ben it does rig. sent20: the dicumarol is not high-resolution if the beetroot is high-resolution and does not optimize. sent21: a algolagnic thing is a kind of non-high-resolution thing that does not optimize.
void -> assump1: Let's assume that the diver does not disobey dicumarol.; sent1 -> int1: if that the dicumarol is a lexicology and it is a censoring is not correct then it does not disobey practice.; sent3 -> int2: if the dicumarol does not disobey practice then that it is a Cacajao is right.; sent18 -> int3: the beetroot is a kind of high-resolution thing that does optimize if it is not aphanitic.; int3 & sent12 -> int4: the beetroot is a kind of high-resolution thing that optimizes.; int4 -> int5: the beetroot is high-resolution.;
the diver does not disobey dicumarol.
sent7 -> int6: the dicumarol is a kind of a Cacajao and it does disobey practice if it is not high-resolution.; sent21 -> int7: if the beetroot is not non-algolagnic it is not high-resolution and does not optimize.; sent19 -> int8: the fact that if the procaine is the ben the procaine rigs hold.; sent8 & sent6 -> int9: the pinesap does not nettle celtuce.; int9 -> int10: there is something such that it does not nettle celtuce.; int10 & sent2 -> int11: the procaine is a AFISR and/or is equestrian.; sent15 -> int12: if the procaine is a AFISR it is a kind of a ben.; sent17 -> int13: the procaine is a kind of a ben if it is equestrian.; int11 & int12 & int13 -> int14: the procaine is a ben.; int8 & int14 -> int15: the procaine does rig.; int15 -> int16: there exists something such that it is a rigging.;
$hypothesis$ = the diver does disobey dicumarol. ; $context$ = sent1: that if the fact that something is a kind of a lexicology and does censor is not right it does not disobey practice is correct. sent2: if there is something such that it does not nettle celtuce then the procaine is a AFISR and/or it is equestrian. sent3: something is a Cacajao if it does not disobey practice. sent4: the diver does disobey dicumarol and is a Cacajao if it is not aphanitic. sent5: the fact that the beetroot is not high-resolution hold if that the fact that either it is algolagnic or it is not a Cacajao or both hold is not true. sent6: the fact that the toehold does nettle celtuce but it is not an experience is not correct. sent7: something is a kind of a Cacajao and it disobeys practice if it is non-high-resolution. sent8: the fact that the pinesap does not nettle celtuce if the fact that the toehold nettle celtuce but it does not experience does not hold is correct. sent9: the beetroot is not algolagnic. sent10: the dicumarol does not disobey practice if it is not a kind of a lexicology. sent11: the beetroot is not a foglamp. sent12: the beetroot is not aphanitic. sent13: the beetroot is not non-algolagnic if the celtuce is non-algolagnic. sent14: that the beetroot is algolagnic or it is not a Cacajao or both does not hold if the dicumarol is a Cacajao. sent15: something is a ben if that it is a AFISR hold. sent16: the diver does not disobey dicumarol if the dicumarol is a kind of a Cacajao and does disobey practice. sent17: if something is equestrian it is a ben. sent18: something that is not aphanitic is high-resolution and optimizes. sent19: if something is a ben it does rig. sent20: the dicumarol is not high-resolution if the beetroot is high-resolution and does not optimize. sent21: a algolagnic thing is a kind of non-high-resolution thing that does not optimize. ; $proof$ = 
void -> assump1: Let's assume that the diver does not disobey dicumarol.; sent1 -> int1: if that the dicumarol is a lexicology and it is a censoring is not correct then it does not disobey practice.; sent3 -> int2: if the dicumarol does not disobey practice then that it is a Cacajao is right.; sent18 -> int3: the beetroot is a kind of high-resolution thing that does optimize if it is not aphanitic.; int3 & sent12 -> int4: the beetroot is a kind of high-resolution thing that optimizes.; int4 -> int5: the beetroot is high-resolution.; __UNKNOWN__