the fact that there is something such that if it is a kind of a virago that does correct it is not a kind of a locomotive is not correct.
sent1: there exists something such that if it blinds Virginian and it is actinomycotic it is not a smudge. sent2: the Sennenhunde is not septal if it blinds histidine and it is orthopedic. sent3: if something is a virago and corrects then it is not a locomotive. sent4: if the crocodile is a tritium and does blind punchboard then it does not correct. sent5: there is something such that if it is vinaceous and is a half-caste it is not a Phoenician. sent6: something is not tuberous if it is scholarly thing that blinds swordsmanship. sent7: if something is a pig and it blinds singleness it does not repot headline. sent8: there is something such that if it is a kind of a virago that corrects then it is a locomotive. sent9: if something is obligational thing that does accouter passivity it does not sicken. sent10: if something that closes is a decoupage then it is not a kind of a Chesterfield. sent11: there is something such that if the fact that it does broker and is calcicolous is correct it is not a hagfish. sent12: if a controversy is a manana it does not stalemate. sent13: the crocodile is a locomotive if it is a virago and does correct. sent14: there is something such that if it is a kind of a Aeolian that blinds punchboard it does not interpret. sent15: the crocodile is not a half-caste if it is a initialization that is a virago. sent16: if something is a virago and it does correct it is locomotive. sent17: something is not a kind of a vagary if it is a kind of a cyclotron and it accouters recall. sent18: the fact that the crocodile is not cooling is correct if it does triangulate and it corrects.
sent3 -> int1: if the crocodile is a kind of a virago and it is corrected it is not a locomotive.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is a kind of a virago that does correct it is not a kind of a locomotive is not correct. ; $context$ = sent1: there exists something such that if it blinds Virginian and it is actinomycotic it is not a smudge. sent2: the Sennenhunde is not septal if it blinds histidine and it is orthopedic. sent3: if something is a virago and corrects then it is not a locomotive. sent4: if the crocodile is a tritium and does blind punchboard then it does not correct. sent5: there is something such that if it is vinaceous and is a half-caste it is not a Phoenician. sent6: something is not tuberous if it is scholarly thing that blinds swordsmanship. sent7: if something is a pig and it blinds singleness it does not repot headline. sent8: there is something such that if it is a kind of a virago that corrects then it is a locomotive. sent9: if something is obligational thing that does accouter passivity it does not sicken. sent10: if something that closes is a decoupage then it is not a kind of a Chesterfield. sent11: there is something such that if the fact that it does broker and is calcicolous is correct it is not a hagfish. sent12: if a controversy is a manana it does not stalemate. sent13: the crocodile is a locomotive if it is a virago and does correct. sent14: there is something such that if it is a kind of a Aeolian that blinds punchboard it does not interpret. sent15: the crocodile is not a half-caste if it is a initialization that is a virago. sent16: if something is a virago and it does correct it is locomotive. sent17: something is not a kind of a vagary if it is a kind of a cyclotron and it accouters recall. sent18: the fact that the crocodile is not cooling is correct if it does triangulate and it corrects. ; $proof$ = 
sent3 -> int1: if the crocodile is a kind of a virago and it is corrected it is not a locomotive.; int1 -> hypothesis; __DISPROVED__