that if the spouse does not contemplate rosary the referral is both a rat and a pademelon is wrong.
sent1: if the spouse does not contemplate rosary the fact that the referral does rat is correct. sent2: that the spouse is a model but not a good-temperedness is wrong. sent3: the referral rats if there is something such that it straightens dog-eared. sent4: the fact that the spouse is not a model but it is a kind of a good-temperedness does not hold if the fact that it does not contemplate rosary is not incorrect. sent5: if the spouse contemplates rosary then the referral is a kind of a rat that is a pademelon. sent6: the referral is a rat. sent7: if that something is both not a model and not a good-temperedness does not hold then it straightens dog-eared. sent8: if the spouse does not contemplate rosary that it is not a model and it is not a good-temperedness is incorrect. sent9: the aldohexose does contemplate courtier if the fact that it is both not a model and not a local does not hold. sent10: that the spouse is not a model and it is not a good-temperedness does not hold if it does contemplate rosary. sent11: that if something does straighten dog-eared the referral is a kind of a rat that is a pademelon is right.
void -> assump1: Let's assume that the spouse does not contemplate rosary.; sent8 & assump1 -> int1: that the spouse is not a model and it is not a good-temperedness is not right.; sent7 -> int2: the spouse straightens dog-eared if the fact that it does not model and is not a good-temperedness is not correct.; int1 & int2 -> int3: the spouse does straighten dog-eared.; int3 -> int4: there exists something such that it does straighten dog-eared.; int4 & sent11 -> int5: the referral does rat and it is a pademelon.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that if the spouse does not contemplate rosary the referral is both a rat and a pademelon is wrong. ; $context$ = sent1: if the spouse does not contemplate rosary the fact that the referral does rat is correct. sent2: that the spouse is a model but not a good-temperedness is wrong. sent3: the referral rats if there is something such that it straightens dog-eared. sent4: the fact that the spouse is not a model but it is a kind of a good-temperedness does not hold if the fact that it does not contemplate rosary is not incorrect. sent5: if the spouse contemplates rosary then the referral is a kind of a rat that is a pademelon. sent6: the referral is a rat. sent7: if that something is both not a model and not a good-temperedness does not hold then it straightens dog-eared. sent8: if the spouse does not contemplate rosary that it is not a model and it is not a good-temperedness is incorrect. sent9: the aldohexose does contemplate courtier if the fact that it is both not a model and not a local does not hold. sent10: that the spouse is not a model and it is not a good-temperedness does not hold if it does contemplate rosary. sent11: that if something does straighten dog-eared the referral is a kind of a rat that is a pademelon is right. ; $proof$ = 
void -> assump1: Let's assume that the spouse does not contemplate rosary.; sent8 & assump1 -> int1: that the spouse is not a model and it is not a good-temperedness is not right.; sent7 -> int2: the spouse straightens dog-eared if the fact that it does not model and is not a good-temperedness is not correct.; int1 & int2 -> int3: the spouse does straighten dog-eared.; int3 -> int4: there exists something such that it does straighten dog-eared.; int4 & sent11 -> int5: the referral does rat and it is a pademelon.; [assump1] & int5 -> hypothesis; __DISPROVED__