if the tease does not jockey aldose the Maratha does not shuttle and it is not articulated.
sent1: if the tung is not a kind of a Llyr and scuffles it does not consort grumble. sent2: the tung is not a kind of a antimalarial and it is not a Mass if the click is not a scuffle. sent3: if that the tung is not a Llyr and does scuffle is not true the Maratha is not a Mass. sent4: the pussley consorts grumble if the tung does not consorts grumble. sent5: if the Maratha is not a kind of a Mass it is not a shuttle but articulated. sent6: if the pussley is not a Ono but it does consort grumble then the click is a antimalarial. sent7: something is not a shuttle and it does not articulate if it is not a kind of a Mass. sent8: if something is not a Mass it is not a kind of a shuttle. sent9: the pussley is not a kind of a Ono but it does consort grumble if the tung does not consort grumble. sent10: if the fact that the Maratha is not a Mass hold then it is not a shuttle. sent11: the pussley consorts grumble. sent12: the Maratha is both not a shuttle and articulated. sent13: if the fact that the tease does not jockey aldose is correct the Maratha is not a shuttle and articulates. sent14: the Maratha is not a Mass if that the tung is not a scuffle is not incorrect. sent15: if the fact that the pussley does not consort grumble and does jockey aldose is wrong then the tung is not a kind of a Ono. sent16: the tung scuffles.
void -> assump1: Let's assume that the tung is not a Llyr but it does scuffle.; sent1 & assump1 -> int1: the tung does not consort grumble.; int1 & sent9 -> int2: the pussley is not a Ono but it does consort grumble.; int2 & sent6 -> int3: the click is a antimalarial.; void -> assump2: Let's assume that the tease does not jockey aldose.; sent7 -> int4: if the Maratha is not a kind of a Mass then it does not shuttle and it does not articulate.;
$hypothesis$ = if the tease does not jockey aldose the Maratha does not shuttle and it is not articulated. ; $context$ = sent1: if the tung is not a kind of a Llyr and scuffles it does not consort grumble. sent2: the tung is not a kind of a antimalarial and it is not a Mass if the click is not a scuffle. sent3: if that the tung is not a Llyr and does scuffle is not true the Maratha is not a Mass. sent4: the pussley consorts grumble if the tung does not consorts grumble. sent5: if the Maratha is not a kind of a Mass it is not a shuttle but articulated. sent6: if the pussley is not a Ono but it does consort grumble then the click is a antimalarial. sent7: something is not a shuttle and it does not articulate if it is not a kind of a Mass. sent8: if something is not a Mass it is not a kind of a shuttle. sent9: the pussley is not a kind of a Ono but it does consort grumble if the tung does not consort grumble. sent10: if the fact that the Maratha is not a Mass hold then it is not a shuttle. sent11: the pussley consorts grumble. sent12: the Maratha is both not a shuttle and articulated. sent13: if the fact that the tease does not jockey aldose is correct the Maratha is not a shuttle and articulates. sent14: the Maratha is not a Mass if that the tung is not a scuffle is not incorrect. sent15: if the fact that the pussley does not consort grumble and does jockey aldose is wrong then the tung is not a kind of a Ono. sent16: the tung scuffles. ; $proof$ = 
void -> assump1: Let's assume that the tung is not a Llyr but it does scuffle.; sent1 & assump1 -> int1: the tung does not consort grumble.; int1 & sent9 -> int2: the pussley is not a Ono but it does consort grumble.; int2 & sent6 -> int3: the click is a antimalarial.; void -> assump2: Let's assume that the tease does not jockey aldose.; sent7 -> int4: if the Maratha is not a kind of a Mass then it does not shuttle and it does not articulate.; __UNKNOWN__