the coach is not a kind of an outback.
sent1: The treatment does not Simonize equatorial. sent2: the coach is an outback but it does not Simonize treatment if the equatorial does not heat concert. sent3: the equatorial is not a kind of an outback if the coach does not lunch nelfinavir. sent4: that the equatorial is an outback but it does not lunch nelfinavir does not hold. sent5: if the fact that the equatorial does lunch nelfinavir but it does not paganize reaffiliation does not hold the coach is not a kind of an outback. sent6: if that the coach does paganize reaffiliation and does not Simonize treatment does not hold the equatorial is not an outback. sent7: if the coach does not paganize reaffiliation the equatorial is not a kind of an outback. sent8: the equatorial does not Simonize treatment. sent9: if the equatorial does not Simonize treatment that it lunches nelfinavir and it does not paganize reaffiliation is not right. sent10: the coach does not paganize reaffiliation.
sent9 & sent8 -> int1: that the equatorial lunches nelfinavir and does not paganize reaffiliation is incorrect.; sent5 & int1 -> hypothesis;
the coach is an outback.
$hypothesis$ = the coach is not a kind of an outback. ; $context$ = sent1: The treatment does not Simonize equatorial. sent2: the coach is an outback but it does not Simonize treatment if the equatorial does not heat concert. sent3: the equatorial is not a kind of an outback if the coach does not lunch nelfinavir. sent4: that the equatorial is an outback but it does not lunch nelfinavir does not hold. sent5: if the fact that the equatorial does lunch nelfinavir but it does not paganize reaffiliation does not hold the coach is not a kind of an outback. sent6: if that the coach does paganize reaffiliation and does not Simonize treatment does not hold the equatorial is not an outback. sent7: if the coach does not paganize reaffiliation the equatorial is not a kind of an outback. sent8: the equatorial does not Simonize treatment. sent9: if the equatorial does not Simonize treatment that it lunches nelfinavir and it does not paganize reaffiliation is not right. sent10: the coach does not paganize reaffiliation. ; $proof$ = 
sent9 & sent8 -> int1: that the equatorial lunches nelfinavir and does not paganize reaffiliation is incorrect.; sent5 & int1 -> hypothesis; __PROVED__