there exists something such that if it sleeps dik-dik then the fact that it is not a Chattahoochee hold.
sent1: if the argentinosaur is a Chattahoochee then it is a rauwolfia. sent2: there exists something such that if it sleeps dik-dik that it is a kind of a Chattahoochee is not wrong. sent3: there exists something such that if it is a backhoe it does not sleep containerful. sent4: there is something such that if it is a finance it is not persistent. sent5: the whitefly does not sleep configuration if it is impressive. sent6: the whitefly is a Chattahoochee if it does sleep dik-dik. sent7: something does not mythicize if it is maxillary. sent8: the fact that the whitefly is not a Fagus is not false if it sleeps dik-dik. sent9: there is something such that if that it is an ignition is not false then it is new. sent10: the peak is concise if it is persistent. sent11: if something is a lineman then it is not a kind of a mum. sent12: there is something such that if it is indicative then the fact that it is not surficial is true. sent13: if the whitefly sleeps dik-dik it is not a Chattahoochee. sent14: there is something such that if it is a socialism then it is bituminoid. sent15: there is something such that if it is straight then it is not illicit. sent16: there is something such that if it is a Carya then it does pit. sent17: the whitefly is not a Terpsichore if it does sleep dik-dik. sent18: there exists something such that if it is a acanthocephalan it is not a Bede.
sent13 -> hypothesis;
there exists something such that if it is maxillary then it does not mythicize.
sent7 -> int1: if the dik-dik is maxillary it does not mythicize.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it sleeps dik-dik then the fact that it is not a Chattahoochee hold. ; $context$ = sent1: if the argentinosaur is a Chattahoochee then it is a rauwolfia. sent2: there exists something such that if it sleeps dik-dik that it is a kind of a Chattahoochee is not wrong. sent3: there exists something such that if it is a backhoe it does not sleep containerful. sent4: there is something such that if it is a finance it is not persistent. sent5: the whitefly does not sleep configuration if it is impressive. sent6: the whitefly is a Chattahoochee if it does sleep dik-dik. sent7: something does not mythicize if it is maxillary. sent8: the fact that the whitefly is not a Fagus is not false if it sleeps dik-dik. sent9: there is something such that if that it is an ignition is not false then it is new. sent10: the peak is concise if it is persistent. sent11: if something is a lineman then it is not a kind of a mum. sent12: there is something such that if it is indicative then the fact that it is not surficial is true. sent13: if the whitefly sleeps dik-dik it is not a Chattahoochee. sent14: there is something such that if it is a socialism then it is bituminoid. sent15: there is something such that if it is straight then it is not illicit. sent16: there is something such that if it is a Carya then it does pit. sent17: the whitefly is not a Terpsichore if it does sleep dik-dik. sent18: there exists something such that if it is a acanthocephalan it is not a Bede. ; $proof$ = 
sent13 -> hypothesis; __PROVED__