the Guatemalan tweedles shopping.
sent1: the cheerleader does recombine Guatemalan if it is artistic. sent2: the Ute is artistic. sent3: the fact that the cytochrome is Theban hold if the cheerleader recombines Guatemalan. sent4: the fact that the Ute does not differ hold if the wrapping does differ and is a kind of a aviatrix. sent5: the Guatemalan does differ. sent6: the cytochrome differs and is a footrace if the wrapping is not a kind of a supply. sent7: the Guatemalan tweedles shopping if the Ute is a aviatrix. sent8: that something tweedles shopping and is artistic is false if it does not recombine Guatemalan. sent9: the wrapping does not supply. sent10: the fact that the Guatemalan is a footrace is not incorrect. sent11: there exists something such that it does differ. sent12: if a Theban does differ then the Ute is a aviatrix. sent13: the Exmoor is not a footrace if there is something such that the fact that it is a footrace and is not entozoic is wrong. sent14: the cheerleader is artistic. sent15: the cheerleader does not recombine Guatemalan if the cytochrome is non-Theban thing that does recombine Guatemalan. sent16: the fact that the arousal is a footrace and not entozoic is incorrect. sent17: the cytochrome is non-Theban thing that does recombine Guatemalan if the Ute does not differ.
sent1 & sent14 -> int1: the cheerleader recombines Guatemalan.; int1 & sent3 -> int2: the cytochrome is Theban.; sent6 & sent9 -> int3: the cytochrome does differ and it is a footrace.; int3 -> int4: the cytochrome differs.; int2 & int4 -> int5: the cytochrome is a Theban and it differs.; int5 -> int6: something is a kind of Theban thing that differs.; int6 & sent12 -> int7: that the Ute is a aviatrix is right.; int7 & sent7 -> hypothesis;
the Guatemalan does not tweedle shopping.
sent8 -> int8: if the cheerleader does not recombine Guatemalan the fact that it tweedles shopping and is artistic is not true.; sent16 -> int9: there exists something such that that it is a footrace and it is non-entozoic does not hold.; int9 & sent13 -> int10: the Exmoor is not a kind of a footrace.; int10 -> int11: there exists something such that the fact that it is not a footrace is correct.;
$hypothesis$ = the Guatemalan tweedles shopping. ; $context$ = sent1: the cheerleader does recombine Guatemalan if it is artistic. sent2: the Ute is artistic. sent3: the fact that the cytochrome is Theban hold if the cheerleader recombines Guatemalan. sent4: the fact that the Ute does not differ hold if the wrapping does differ and is a kind of a aviatrix. sent5: the Guatemalan does differ. sent6: the cytochrome differs and is a footrace if the wrapping is not a kind of a supply. sent7: the Guatemalan tweedles shopping if the Ute is a aviatrix. sent8: that something tweedles shopping and is artistic is false if it does not recombine Guatemalan. sent9: the wrapping does not supply. sent10: the fact that the Guatemalan is a footrace is not incorrect. sent11: there exists something such that it does differ. sent12: if a Theban does differ then the Ute is a aviatrix. sent13: the Exmoor is not a footrace if there is something such that the fact that it is a footrace and is not entozoic is wrong. sent14: the cheerleader is artistic. sent15: the cheerleader does not recombine Guatemalan if the cytochrome is non-Theban thing that does recombine Guatemalan. sent16: the fact that the arousal is a footrace and not entozoic is incorrect. sent17: the cytochrome is non-Theban thing that does recombine Guatemalan if the Ute does not differ. ; $proof$ = 
sent1 & sent14 -> int1: the cheerleader recombines Guatemalan.; int1 & sent3 -> int2: the cytochrome is Theban.; sent6 & sent9 -> int3: the cytochrome does differ and it is a footrace.; int3 -> int4: the cytochrome differs.; int2 & int4 -> int5: the cytochrome is a Theban and it differs.; int5 -> int6: something is a kind of Theban thing that differs.; int6 & sent12 -> int7: that the Ute is a aviatrix is right.; int7 & sent7 -> hypothesis; __PROVED__