there is something such that if it dives Leiden then it is iconic.
sent1: there is something such that if the fact that it is matriarchal is right it dives Herbert. sent2: the apposition is iconic if it is a kind of a Harvard. sent3: something that respects riposte does dive Casuaridae. sent4: there exists something such that if it is a syllabub then it is homemade. sent5: if the interaction does dive Leiden it is drinkable. sent6: if the interaction is a kind of a Fiji it does dive paraffin. sent7: if the interaction is a chordate it is iconic.
$hypothesis$ = there is something such that if it dives Leiden then it is iconic. ; $context$ = sent1: there is something such that if the fact that it is matriarchal is right it dives Herbert. sent2: the apposition is iconic if it is a kind of a Harvard. sent3: something that respects riposte does dive Casuaridae. sent4: there exists something such that if it is a syllabub then it is homemade. sent5: if the interaction does dive Leiden it is drinkable. sent6: if the interaction is a kind of a Fiji it does dive paraffin. sent7: if the interaction is a chordate it is iconic. ; $proof$ = 
__UNKNOWN__