the fact that the Francophobe does not build bluing hold.
sent1: if the fingerboard flames labial then that it is not a kind of a stabilization and is not a revenant is not right. sent2: The squall citifies ayapana. sent3: something that is not a kind of a Quoratean is a kind of a Podophyllum. sent4: the ayapana citifies squall. sent5: the ayapana is a rhapsody. sent6: if something is a kind of a Quoratean then it is not a Podophyllum. sent7: if the fact that the ayapana builds bluing is not incorrect then the Francophobe does builds bluing. sent8: the Francophobe citifies squall. sent9: the ayapana is a Quoratean if the fact that the Francophobe is not a Quoratean but a stabilization is wrong. sent10: there exists something such that the fact that it is both a elocutionist and multidimensional does not hold. sent11: something is a rhapsody. sent12: that the hogan is not a rhapsody and it does not citify squall is incorrect if the half-mast is a kind of a Podophyllum. sent13: the Francophobe does not build bluing if something is a kind of a rhapsody that citifies squall.
sent5 & sent4 -> int1: the ayapana is a rhapsody and it does citify squall.; int1 -> int2: there exists something such that it is a rhapsody and citifies squall.; int2 & sent13 -> hypothesis;
the proctologist does not build bluing.
sent6 -> int3: if the ayapana is a Quoratean it is not a Podophyllum.;
$hypothesis$ = the fact that the Francophobe does not build bluing hold. ; $context$ = sent1: if the fingerboard flames labial then that it is not a kind of a stabilization and is not a revenant is not right. sent2: The squall citifies ayapana. sent3: something that is not a kind of a Quoratean is a kind of a Podophyllum. sent4: the ayapana citifies squall. sent5: the ayapana is a rhapsody. sent6: if something is a kind of a Quoratean then it is not a Podophyllum. sent7: if the fact that the ayapana builds bluing is not incorrect then the Francophobe does builds bluing. sent8: the Francophobe citifies squall. sent9: the ayapana is a Quoratean if the fact that the Francophobe is not a Quoratean but a stabilization is wrong. sent10: there exists something such that the fact that it is both a elocutionist and multidimensional does not hold. sent11: something is a rhapsody. sent12: that the hogan is not a rhapsody and it does not citify squall is incorrect if the half-mast is a kind of a Podophyllum. sent13: the Francophobe does not build bluing if something is a kind of a rhapsody that citifies squall. ; $proof$ = 
sent5 & sent4 -> int1: the ayapana is a rhapsody and it does citify squall.; int1 -> int2: there exists something such that it is a rhapsody and citifies squall.; int2 & sent13 -> hypothesis; __PROVED__