there exists something such that if it does not vault Sonchus and it is not a prescription it is not a Cannaceae.
sent1: if something that does not vault Sonchus is not a prescription it is not a Cannaceae. sent2: if something that is not lacrimal is not geological then it is careless. sent3: there is something such that if it is not a hamster and it is not a kind of a Protestant then it does vault metoprolol. sent4: if the steps is not a kind of a payables and it does not vault impetuousness it does not vault Bissau. sent5: if the steps is nonprescription thing that does not verbalize then it is dependent. sent6: there exists something such that if it does not vault broad-mindedness and it is not chimerical then it does not vault Domitian.
sent1 -> int1: the steps is not a Cannaceae if it does not vault Sonchus and it is not prescription.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not vault Sonchus and it is not a prescription it is not a Cannaceae. ; $context$ = sent1: if something that does not vault Sonchus is not a prescription it is not a Cannaceae. sent2: if something that is not lacrimal is not geological then it is careless. sent3: there is something such that if it is not a hamster and it is not a kind of a Protestant then it does vault metoprolol. sent4: if the steps is not a kind of a payables and it does not vault impetuousness it does not vault Bissau. sent5: if the steps is nonprescription thing that does not verbalize then it is dependent. sent6: there exists something such that if it does not vault broad-mindedness and it is not chimerical then it does not vault Domitian. ; $proof$ = 
sent1 -> int1: the steps is not a Cannaceae if it does not vault Sonchus and it is not prescription.; int1 -> hypothesis; __PROVED__