the limeade does not convey.
sent1: that the roughrider is a kind of a contadino and does scotch is not correct if it is not a Riga. sent2: the limeade does convey if the taxman is exothermic. sent3: if something does not scotch it is not jihadi. sent4: the Creek does not skid Marti and dices if the roughrider is not jihadi. sent5: the roughrider is not a Riga. sent6: that if the roughrider is not jihadi the Creek dices is correct. sent7: if that something is a contadino that does scotch is incorrect it is not jihadi. sent8: the fact that the taxman is exothermic hold if the Creek does not skid Marti and does dice.
sent7 -> int1: if that the roughrider is a contadino and it does scotch is not correct then it is not jihadi.; sent1 & sent5 -> int2: that the roughrider is a kind of a contadino that does scotch is false.; int1 & int2 -> int3: the roughrider is not jihadi.; int3 & sent4 -> int4: the Creek does not skid Marti and does dice.; int4 & sent8 -> int5: the taxman is exothermic.; int5 & sent2 -> hypothesis;
$hypothesis$ = the limeade does not convey. ; $context$ = sent1: that the roughrider is a kind of a contadino and does scotch is not correct if it is not a Riga. sent2: the limeade does convey if the taxman is exothermic. sent3: if something does not scotch it is not jihadi. sent4: the Creek does not skid Marti and dices if the roughrider is not jihadi. sent5: the roughrider is not a Riga. sent6: that if the roughrider is not jihadi the Creek dices is correct. sent7: if that something is a contadino that does scotch is incorrect it is not jihadi. sent8: the fact that the taxman is exothermic hold if the Creek does not skid Marti and does dice. ; $proof$ = 
sent7 -> int1: if that the roughrider is a contadino and it does scotch is not correct then it is not jihadi.; sent1 & sent5 -> int2: that the roughrider is a kind of a contadino that does scotch is false.; int1 & int2 -> int3: the roughrider is not jihadi.; int3 & sent4 -> int4: the Creek does not skid Marti and does dice.; int4 & sent8 -> int5: the taxman is exothermic.; int5 & sent2 -> hypothesis; __DISPROVED__