the butyrin is not a kingship.
sent1: the serviceman begins snarl-up if the longhorn does not begins snarl-up. sent2: the longhorn does not begin snarl-up. sent3: the fact that the longhorn protrudes and it is a Maldon does not hold if the rofecoxib is non-blastogenetic. sent4: something begins snarl-up and it is a kingship if it does not protrude. sent5: the gulch does not begin Artamidae. sent6: if the serviceman begins snarl-up it is not attractive. sent7: if the caimito rakes hearts but it does not begin raglan then the metronome does not begin raglan. sent8: something that begins snarl-up is non-alphabetic thing that is not attractive. sent9: if the caimito is not a kind of a particular it rakes hearts and does not begin raglan. sent10: if the serviceman is not alphabetic and it is not attractive then the butyrin is not a kingship. sent11: the metronome does begin Artamidae if the gulch blocks Bunche and does not begin Artamidae. sent12: the caimito is not a particular. sent13: The snarl-up does not begin longhorn. sent14: the gulch blocks Bunche.
sent8 -> int1: if the serviceman does begin snarl-up it is not alphabetic and not attractive.; sent1 & sent2 -> int2: the serviceman begins snarl-up.; int1 & int2 -> int3: the serviceman is not alphabetic and it is unattractive.; int3 & sent10 -> hypothesis;
the butyrin is a kind of a kingship.
sent4 -> int4: if the butyrin does not protrude it does begin snarl-up and is a kingship.; sent14 & sent5 -> int5: the gulch does block Bunche but it does not begin Artamidae.; sent11 & int5 -> int6: the metronome does begin Artamidae.; sent9 & sent12 -> int7: the caimito does rake hearts but it does not begin raglan.; sent7 & int7 -> int8: the metronome does not begin raglan.; int6 & int8 -> int9: the metronome does begin Artamidae and does not begin raglan.; int9 -> int10: there exists something such that it begins Artamidae and does not begin raglan.;
$hypothesis$ = the butyrin is not a kingship. ; $context$ = sent1: the serviceman begins snarl-up if the longhorn does not begins snarl-up. sent2: the longhorn does not begin snarl-up. sent3: the fact that the longhorn protrudes and it is a Maldon does not hold if the rofecoxib is non-blastogenetic. sent4: something begins snarl-up and it is a kingship if it does not protrude. sent5: the gulch does not begin Artamidae. sent6: if the serviceman begins snarl-up it is not attractive. sent7: if the caimito rakes hearts but it does not begin raglan then the metronome does not begin raglan. sent8: something that begins snarl-up is non-alphabetic thing that is not attractive. sent9: if the caimito is not a kind of a particular it rakes hearts and does not begin raglan. sent10: if the serviceman is not alphabetic and it is not attractive then the butyrin is not a kingship. sent11: the metronome does begin Artamidae if the gulch blocks Bunche and does not begin Artamidae. sent12: the caimito is not a particular. sent13: The snarl-up does not begin longhorn. sent14: the gulch blocks Bunche. ; $proof$ = 
sent8 -> int1: if the serviceman does begin snarl-up it is not alphabetic and not attractive.; sent1 & sent2 -> int2: the serviceman begins snarl-up.; int1 & int2 -> int3: the serviceman is not alphabetic and it is unattractive.; int3 & sent10 -> hypothesis; __PROVED__