there is something such that if it does not interleave Goddard and it is not a let then it does interleave Argo.
sent1: if something does not interleave Goddard and is not a kind of a let it interleaves Argo. sent2: there is something such that if it does not interleave Goddard and does let it interleaves Argo. sent3: the fact that if the grit interleaves Goddard and is not the let the grit interleaves Argo is not wrong. sent4: if the abrader is not a Dimetane and it does not interleave Argo it is a folks. sent5: there exists something such that if it is not a Cartier and it is not a FIFO it is a lumpfish. sent6: if something is not a kind of a Siouan and it is not bilious then it is a Rostand. sent7: something does fret toroid if it is not Audenesque and it is not typical. sent8: there is something such that if it interleaves Goddard and does not let then it interleaves Argo. sent9: something does interleave Argo if the fact that it does interleave Goddard and it is not a let is correct. sent10: something interleaves Argo if it does not interleave Goddard and does let. sent11: the grit interleaves Assamese if it does not interleave Goddard and does not fret affairs. sent12: if the grit does not interleave Goddard and is a let it does interleave Argo. sent13: if something does not fret marbles and is not a kind of a Aeolus it is a Burbank.
sent1 -> int1: if the grit does not interleave Goddard and does not let then it does interleave Argo.; int1 -> hypothesis;
there is something such that if it is not Siouan and it is not bilious it is a Rostand.
sent6 -> int2: the shaft is a Rostand if it is both not Siouan and not bilious.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it does not interleave Goddard and it is not a let then it does interleave Argo. ; $context$ = sent1: if something does not interleave Goddard and is not a kind of a let it interleaves Argo. sent2: there is something such that if it does not interleave Goddard and does let it interleaves Argo. sent3: the fact that if the grit interleaves Goddard and is not the let the grit interleaves Argo is not wrong. sent4: if the abrader is not a Dimetane and it does not interleave Argo it is a folks. sent5: there exists something such that if it is not a Cartier and it is not a FIFO it is a lumpfish. sent6: if something is not a kind of a Siouan and it is not bilious then it is a Rostand. sent7: something does fret toroid if it is not Audenesque and it is not typical. sent8: there is something such that if it interleaves Goddard and does not let then it interleaves Argo. sent9: something does interleave Argo if the fact that it does interleave Goddard and it is not a let is correct. sent10: something interleaves Argo if it does not interleave Goddard and does let. sent11: the grit interleaves Assamese if it does not interleave Goddard and does not fret affairs. sent12: if the grit does not interleave Goddard and is a let it does interleave Argo. sent13: if something does not fret marbles and is not a kind of a Aeolus it is a Burbank. ; $proof$ = 
sent1 -> int1: if the grit does not interleave Goddard and does not let then it does interleave Argo.; int1 -> hypothesis; __PROVED__