there exists something such that if it is a kind of non-strange a testudo it marbles narcoterrorism.
sent1: if the Verdicchio is both erect and strange then it does number shellflower. sent2: if the cero does marble narcoterrorism and is a Vatican it is a sylph. sent3: there is something such that if it does allude and is Wittgensteinian it is a outsole. sent4: the saint marbles narcoterrorism if it is not a requested and it is subdural. sent5: something marbles narcoterrorism if it is not strange and it is a testudo. sent6: something numbers SPF if it is not a box and it numbers cero. sent7: if the Verdicchio is not a testudo but it is radiotelephonic it is a apojove. sent8: something does marble narcoterrorism if it is strange thing that is a testudo.
sent5 -> int1: the Verdicchio does marble narcoterrorism if it is not strange and it is a testudo.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a kind of non-strange a testudo it marbles narcoterrorism. ; $context$ = sent1: if the Verdicchio is both erect and strange then it does number shellflower. sent2: if the cero does marble narcoterrorism and is a Vatican it is a sylph. sent3: there is something such that if it does allude and is Wittgensteinian it is a outsole. sent4: the saint marbles narcoterrorism if it is not a requested and it is subdural. sent5: something marbles narcoterrorism if it is not strange and it is a testudo. sent6: something numbers SPF if it is not a box and it numbers cero. sent7: if the Verdicchio is not a testudo but it is radiotelephonic it is a apojove. sent8: something does marble narcoterrorism if it is strange thing that is a testudo. ; $proof$ = 
sent5 -> int1: the Verdicchio does marble narcoterrorism if it is not strange and it is a testudo.; int1 -> hypothesis; __PROVED__