the fact that there exists something such that if the fact that it does not poison and is indexless is wrong then it is not coccygeal does not hold.
sent1: something is not coccygeal if it is not a poisoning and it is indexless. sent2: if the leotard is a poisoning it is not coccygeal. sent3: if the fact that something does not poison and is indexless does not hold it is coccygeal. sent4: there exists something such that if the fact that it is not a poisoning and is indexless is not right the fact that it is coccygeal hold. sent5: if the leotard is not a poisoning and is indexless it is not coccygeal. sent6: there exists something such that if that it does not color stonecrop and it does index nudist is not correct then it is not a kind of a liked. sent7: if the fact that something is not a poisoning but it is indexless is incorrect then the fact that it is not coccygeal hold. sent8: something is not a kind of an accident if the fact that it does not green ayatollah and greens vampirism is false. sent9: if the fact that the leotard is not a poisoning and is autotomic is incorrect it is not two-wheel. sent10: if the fact that the fact that the leotard is not a poisoning and is indexless is false hold then the fact that it is coccygeal hold. sent11: there exists something such that if it does not poison and it is indexless it is not coccygeal. sent12: something is not coccygeal if it is a kind of a poisoning. sent13: there exists something such that if it is a kind of non-destructive thing that does index provitamin then it is not supersonic. sent14: there exists something such that if it is a poisoning it is not coccygeal.
sent7 -> int1: the leotard is not coccygeal if that it is both not a poisoning and indexless is not right.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it does not poison and is indexless is wrong then it is not coccygeal does not hold. ; $context$ = sent1: something is not coccygeal if it is not a poisoning and it is indexless. sent2: if the leotard is a poisoning it is not coccygeal. sent3: if the fact that something does not poison and is indexless does not hold it is coccygeal. sent4: there exists something such that if the fact that it is not a poisoning and is indexless is not right the fact that it is coccygeal hold. sent5: if the leotard is not a poisoning and is indexless it is not coccygeal. sent6: there exists something such that if that it does not color stonecrop and it does index nudist is not correct then it is not a kind of a liked. sent7: if the fact that something is not a poisoning but it is indexless is incorrect then the fact that it is not coccygeal hold. sent8: something is not a kind of an accident if the fact that it does not green ayatollah and greens vampirism is false. sent9: if the fact that the leotard is not a poisoning and is autotomic is incorrect it is not two-wheel. sent10: if the fact that the fact that the leotard is not a poisoning and is indexless is false hold then the fact that it is coccygeal hold. sent11: there exists something such that if it does not poison and it is indexless it is not coccygeal. sent12: something is not coccygeal if it is a kind of a poisoning. sent13: there exists something such that if it is a kind of non-destructive thing that does index provitamin then it is not supersonic. sent14: there exists something such that if it is a poisoning it is not coccygeal. ; $proof$ = 
sent7 -> int1: the leotard is not coccygeal if that it is both not a poisoning and indexless is not right.; int1 -> hypothesis; __DISPROVED__