there exists something such that if it is home it is not a kind of a detachment.
sent1: there exists something such that if it is a diplotene it does not deny Cortland. sent2: there exists something such that if it is a kind of a Fagus then it alliterates. sent3: there exists something such that if it props then that it values is right. sent4: something is not a detachment if it does home. sent5: if the kelpie is a detachment then the fact that it is a capriole is not incorrect. sent6: there is something such that if the fact that it is fewest hold then it is not a rotenone. sent7: the fact that if the kelpie is the detachment the kelpie is a Dagan is not false. sent8: if something pitches Ticino then it is not a bearnaise. sent9: if something is a kind of a blanquillo it pitches billionth. sent10: if something is a kind of a rotenone it is on. sent11: if the kelpie is Tibetan then it is not a gunite. sent12: there exists something such that if it is a craniometry it is not a yellowtail. sent13: something is not technophilic if it is a documentary.
sent4 -> int1: the kelpie is not a detachment if it does home.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is home it is not a kind of a detachment. ; $context$ = sent1: there exists something such that if it is a diplotene it does not deny Cortland. sent2: there exists something such that if it is a kind of a Fagus then it alliterates. sent3: there exists something such that if it props then that it values is right. sent4: something is not a detachment if it does home. sent5: if the kelpie is a detachment then the fact that it is a capriole is not incorrect. sent6: there is something such that if the fact that it is fewest hold then it is not a rotenone. sent7: the fact that if the kelpie is the detachment the kelpie is a Dagan is not false. sent8: if something pitches Ticino then it is not a bearnaise. sent9: if something is a kind of a blanquillo it pitches billionth. sent10: if something is a kind of a rotenone it is on. sent11: if the kelpie is Tibetan then it is not a gunite. sent12: there exists something such that if it is a craniometry it is not a yellowtail. sent13: something is not technophilic if it is a documentary. ; $proof$ = 
sent4 -> int1: the kelpie is not a detachment if it does home.; int1 -> hypothesis; __PROVED__