the southland is not a kind of an atoll and does not extricate Ophiodontidae.
sent1: something is not an atoll and does not extricate Ophiodontidae if it does not roughen fitness. sent2: the fact that the Portuguese does not bilk Grecian and is an upgrade is not correct if the glycol does not roughen fitness. sent3: the fact that the Grecian is not corrupted but it is a kind of an upgrade is wrong if there exists something such that it roughens fitness. sent4: the fact that the southland is both not a vegetarian and not a piece is not correct. sent5: the fact that the Portuguese does bilk Grecian and does roughen fitness is not correct if the glycol does not extricate Ophiodontidae. sent6: the Grecian is corrupted if the Portuguese does melt. sent7: the Grecian is not corrupted. sent8: that the thyroxine does not melt is not wrong. sent9: the Grecian is not an atoll. sent10: that the Portuguese is not an atoll but it does bilk Grecian is false. sent11: that the southland is paleontological is not wrong. sent12: if that the Portuguese does not bilk Grecian but it is an upgrade is incorrect it is a piece. sent13: if something pieces then it does melt. sent14: if there exists something such that it upgrades that the southland does not melt and it does not extricate Ophiodontidae is false. sent15: the Portuguese is prescriptive. sent16: the fact that the Portuguese does not bilk Grecian and it does not melt does not hold if something is corrupted. sent17: if there exists something such that that it roughens fitness hold then that the southland is not a kind of an atoll and it does not extricate Ophiodontidae is wrong.
void -> assump1: Let's assume that the glycol does not roughen fitness.; sent2 & assump1 -> int1: the fact that the Portuguese does not bilk Grecian and is an upgrade is not true.; int1 & sent12 -> int2: the Portuguese is a piece.; sent13 -> int3: if the Portuguese is a piece then it melts.; int2 & int3 -> int4: the Portuguese melts.; int4 & sent6 -> int5: the Grecian corrupts.; int5 & sent7 -> int6: this is contradiction.; [assump1] & int6 -> int7: the glycol does roughen fitness.; int7 -> int8: there exists something such that it roughens fitness.; int8 & sent17 -> hypothesis;
the southland is not an atoll and does not extricate Ophiodontidae.
sent1 -> int9: the southland is not a kind of an atoll and does not extricate Ophiodontidae if it does not roughen fitness.;
$hypothesis$ = the southland is not a kind of an atoll and does not extricate Ophiodontidae. ; $context$ = sent1: something is not an atoll and does not extricate Ophiodontidae if it does not roughen fitness. sent2: the fact that the Portuguese does not bilk Grecian and is an upgrade is not correct if the glycol does not roughen fitness. sent3: the fact that the Grecian is not corrupted but it is a kind of an upgrade is wrong if there exists something such that it roughens fitness. sent4: the fact that the southland is both not a vegetarian and not a piece is not correct. sent5: the fact that the Portuguese does bilk Grecian and does roughen fitness is not correct if the glycol does not extricate Ophiodontidae. sent6: the Grecian is corrupted if the Portuguese does melt. sent7: the Grecian is not corrupted. sent8: that the thyroxine does not melt is not wrong. sent9: the Grecian is not an atoll. sent10: that the Portuguese is not an atoll but it does bilk Grecian is false. sent11: that the southland is paleontological is not wrong. sent12: if that the Portuguese does not bilk Grecian but it is an upgrade is incorrect it is a piece. sent13: if something pieces then it does melt. sent14: if there exists something such that it upgrades that the southland does not melt and it does not extricate Ophiodontidae is false. sent15: the Portuguese is prescriptive. sent16: the fact that the Portuguese does not bilk Grecian and it does not melt does not hold if something is corrupted. sent17: if there exists something such that that it roughens fitness hold then that the southland is not a kind of an atoll and it does not extricate Ophiodontidae is wrong. ; $proof$ = 
void -> assump1: Let's assume that the glycol does not roughen fitness.; sent2 & assump1 -> int1: the fact that the Portuguese does not bilk Grecian and is an upgrade is not true.; int1 & sent12 -> int2: the Portuguese is a piece.; sent13 -> int3: if the Portuguese is a piece then it melts.; int2 & int3 -> int4: the Portuguese melts.; int4 & sent6 -> int5: the Grecian corrupts.; int5 & sent7 -> int6: this is contradiction.; [assump1] & int6 -> int7: the glycol does roughen fitness.; int7 -> int8: there exists something such that it roughens fitness.; int8 & sent17 -> hypothesis; __DISPROVED__