the choir does not regroup.
sent1: if the algebraist is not a kind of a harmonizer then the fact that the deerstalker does not bayonet Cordyline and/or does not torment infant's-breath is not correct. sent2: if the algebraist is not a dogleg the deerstalker does pink EXEC and bayonets Cordyline. sent3: the Creation does not pink EXEC and is not a kind of a dogleg if the algebraist bayonets Cordyline. sent4: the algebraist bayonets Cordyline if the deerstalker is a kind of a harmonizer. sent5: that the laparoscope does not name huskiness or is not blastodermatic or both does not hold if that the dial is not a kind of a spree is not wrong. sent6: something does not regroup if it does not torment infant's-breath. sent7: if the fact that the neuroepithelium is dictatorial and it pinks EXEC is not true then the dial is not a kind of a spree. sent8: the laparoscope names huskiness. sent9: that the dial is blastodermatic thing that is a spree is not true if the laparoscope is not a spree. sent10: if something does not bayonet Cordyline then it regroups and it is a harmonizer. sent11: the deerstalker is a kind of a harmonizer. sent12: if the deerstalker bayonets Cordyline that the choir does not bayonets Cordyline is right. sent13: if the fact that the laparoscope does not name huskiness and/or it is not blastodermatic is false the choir does not torment infant's-breath. sent14: if the fact that the Creation does not pink EXEC is right then that the neuroepithelium is a kind of dictatorial thing that does pink EXEC is not right. sent15: the fact that the algebraist is not a dogleg hold if the fact that the Creation is not a spree and it is not a dogleg is wrong.
sent4 & sent11 -> int1: the algebraist bayonets Cordyline.; int1 & sent3 -> int2: the Creation does not pink EXEC and is not a kind of a dogleg.; int2 -> int3: the Creation does not pink EXEC.; int3 & sent14 -> int4: that the neuroepithelium is dictatorial and does pink EXEC is incorrect.; int4 & sent7 -> int5: the dial is not a spree.; int5 & sent5 -> int6: that that the laparoscope does not name huskiness and/or it is not blastodermatic is not wrong does not hold.; int6 & sent13 -> int7: the choir does not torment infant's-breath.; sent6 -> int8: the choir does not regroup if it does not torment infant's-breath.; int7 & int8 -> hypothesis;
the choir regroups.
sent10 -> int9: the choir regroups and is a harmonizer if the fact that it does not bayonet Cordyline is right.;
$hypothesis$ = the choir does not regroup. ; $context$ = sent1: if the algebraist is not a kind of a harmonizer then the fact that the deerstalker does not bayonet Cordyline and/or does not torment infant's-breath is not correct. sent2: if the algebraist is not a dogleg the deerstalker does pink EXEC and bayonets Cordyline. sent3: the Creation does not pink EXEC and is not a kind of a dogleg if the algebraist bayonets Cordyline. sent4: the algebraist bayonets Cordyline if the deerstalker is a kind of a harmonizer. sent5: that the laparoscope does not name huskiness or is not blastodermatic or both does not hold if that the dial is not a kind of a spree is not wrong. sent6: something does not regroup if it does not torment infant's-breath. sent7: if the fact that the neuroepithelium is dictatorial and it pinks EXEC is not true then the dial is not a kind of a spree. sent8: the laparoscope names huskiness. sent9: that the dial is blastodermatic thing that is a spree is not true if the laparoscope is not a spree. sent10: if something does not bayonet Cordyline then it regroups and it is a harmonizer. sent11: the deerstalker is a kind of a harmonizer. sent12: if the deerstalker bayonets Cordyline that the choir does not bayonets Cordyline is right. sent13: if the fact that the laparoscope does not name huskiness and/or it is not blastodermatic is false the choir does not torment infant's-breath. sent14: if the fact that the Creation does not pink EXEC is right then that the neuroepithelium is a kind of dictatorial thing that does pink EXEC is not right. sent15: the fact that the algebraist is not a dogleg hold if the fact that the Creation is not a spree and it is not a dogleg is wrong. ; $proof$ = 
sent4 & sent11 -> int1: the algebraist bayonets Cordyline.; int1 & sent3 -> int2: the Creation does not pink EXEC and is not a kind of a dogleg.; int2 -> int3: the Creation does not pink EXEC.; int3 & sent14 -> int4: that the neuroepithelium is dictatorial and does pink EXEC is incorrect.; int4 & sent7 -> int5: the dial is not a spree.; int5 & sent5 -> int6: that that the laparoscope does not name huskiness and/or it is not blastodermatic is not wrong does not hold.; int6 & sent13 -> int7: the choir does not torment infant's-breath.; sent6 -> int8: the choir does not regroup if it does not torment infant's-breath.; int7 & int8 -> hypothesis; __PROVED__