the services is not a cancroid.
sent1: the bookdealer is not chirpy if that the Cataflam is neuter thing that does hypnotize summarization is not correct. sent2: if the fact that something is a kind of a neuter and is chirpy does not hold it is not a kind of a neuter. sent3: if the graduate does not hypnotize synchronism it hypnotizes survivalist and it is not chirpy. sent4: something does not hypnotize survivalist and it does not hypnotize synchronism if it is not chirpy. sent5: there is something such that it does not rocket. sent6: the services is a cancroid if the Cataflam is cancroid. sent7: if the graduate is not chirpy then the bookdealer does hypnotize summarization and is not a rocket. sent8: the fact that the Cataflam is not a rocket and not a Neruda hold if there is something such that it is not a kind of a neuter. sent9: if something that does not hypnotize survivalist does not hypnotize synchronism then the fact that the services is not cancroid hold. sent10: if there is something such that it is not a rocket the fact that the fact that the Cataflam is a neuter and hypnotizes summarization hold does not hold. sent11: if something is not a kind of a rocket that it is not cancroid and it is a neuter is right. sent12: the Cataflam is a kind of a cancroid if the bookdealer is not a cancroid and is neuter. sent13: if the bookdealer does not hypnotize synchronism then the fact that it does not hypnotize summarization is not wrong.
sent5 & sent10 -> int1: the fact that the Cataflam is a neuter that does hypnotize summarization does not hold.; int1 & sent1 -> int2: the bookdealer is not chirpy.; sent4 -> int3: the bookdealer does not hypnotize survivalist and it does not hypnotize synchronism if it is not chirpy.; int2 & int3 -> int4: the bookdealer does not hypnotize survivalist and it does not hypnotize synchronism.; int4 -> int5: there is something such that it does not hypnotize survivalist and does not hypnotize synchronism.; int5 & sent9 -> hypothesis;
something is not a Neruda.
sent2 -> int6: the services is not a kind of a neuter if the fact that it is a neuter and is chirpy is wrong.;
$hypothesis$ = the services is not a cancroid. ; $context$ = sent1: the bookdealer is not chirpy if that the Cataflam is neuter thing that does hypnotize summarization is not correct. sent2: if the fact that something is a kind of a neuter and is chirpy does not hold it is not a kind of a neuter. sent3: if the graduate does not hypnotize synchronism it hypnotizes survivalist and it is not chirpy. sent4: something does not hypnotize survivalist and it does not hypnotize synchronism if it is not chirpy. sent5: there is something such that it does not rocket. sent6: the services is a cancroid if the Cataflam is cancroid. sent7: if the graduate is not chirpy then the bookdealer does hypnotize summarization and is not a rocket. sent8: the fact that the Cataflam is not a rocket and not a Neruda hold if there is something such that it is not a kind of a neuter. sent9: if something that does not hypnotize survivalist does not hypnotize synchronism then the fact that the services is not cancroid hold. sent10: if there is something such that it is not a rocket the fact that the fact that the Cataflam is a neuter and hypnotizes summarization hold does not hold. sent11: if something is not a kind of a rocket that it is not cancroid and it is a neuter is right. sent12: the Cataflam is a kind of a cancroid if the bookdealer is not a cancroid and is neuter. sent13: if the bookdealer does not hypnotize synchronism then the fact that it does not hypnotize summarization is not wrong. ; $proof$ = 
sent5 & sent10 -> int1: the fact that the Cataflam is a neuter that does hypnotize summarization does not hold.; int1 & sent1 -> int2: the bookdealer is not chirpy.; sent4 -> int3: the bookdealer does not hypnotize survivalist and it does not hypnotize synchronism if it is not chirpy.; int2 & int3 -> int4: the bookdealer does not hypnotize survivalist and it does not hypnotize synchronism.; int4 -> int5: there is something such that it does not hypnotize survivalist and does not hypnotize synchronism.; int5 & sent9 -> hypothesis; __PROVED__