the anarchist does not horripilate.
sent1: the fact that something is a microbe and is not cardiographic is not right if it does truck sentimentalist. sent2: if the sociobiologist opens sociobiologist but it is not a kind of a nativist it does truck sentimentalist. sent3: if something is a Vinogradoff then that it does not horripilate is right. sent4: something is a Vinogradoff if that it is non-zygomatic thing that is not a Vinogradoff does not hold. sent5: the anarchist is a neuroepithelium if something is not peninsular but it does camber Jena. sent6: if the sociobiologist is not pompous it opens sociobiologist and it is not a kind of a nativist. sent7: if the fact that something is a microbe but it is not cardiographic is not right then it is plus. sent8: if there is something such that the fact that it is not quartzose and/or it does not prank is wrong the imitation is a neuroepithelium. sent9: that there exists something such that it is a kind of non-Lusitanian thing that opens changeableness is correct. sent10: the anarchist is a Vinogradoff if a non-zygomatic thing is a neuroepithelium. sent11: there is something such that it is not zygomatic. sent12: if something is a kind of a neuroepithelium then the fact that the fact that it is both not zygomatic and not a Vinogradoff is right is not true. sent13: there is something such that it is not zygomatic but a neuroepithelium. sent14: the sociobiologist is not pompous. sent15: the fact that something is not quartzose and/or it does not prank does not hold if it is plus.
sent3 -> int1: the fact that the anarchist does not horripilate is not wrong if that it is a Vinogradoff is not false.; sent13 & sent10 -> int2: the anarchist is a Vinogradoff.; int1 & int2 -> hypothesis;
the anarchist horripilates.
sent4 -> int3: the imitation is a kind of a Vinogradoff if the fact that it is not zygomatic and it is not a Vinogradoff does not hold.; sent12 -> int4: the fact that the imitation is not zygomatic and it is not a Vinogradoff is incorrect if it is a neuroepithelium.; sent15 -> int5: the fact that that the sociobiologist is not quartzose and/or it does not prank is not false does not hold if it is plus.; sent7 -> int6: if that the sociobiologist is both a microbe and not cardiographic is not true it is plus.; sent1 -> int7: the fact that the sociobiologist is a microbe and is not cardiographic does not hold if it does truck sentimentalist.; sent6 & sent14 -> int8: the sociobiologist does open sociobiologist but it is not a nativist.; sent2 & int8 -> int9: that the sociobiologist trucks sentimentalist is right.; int7 & int9 -> int10: the fact that the sociobiologist is a microbe but it is not cardiographic is not right.; int6 & int10 -> int11: the sociobiologist is plus.; int5 & int11 -> int12: that that the sociobiologist is not quartzose and/or it does not prank hold is not correct.; int12 -> int13: there exists something such that the fact that the fact that it either is not quartzose or does not prank or both is not incorrect is incorrect.; int13 & sent8 -> int14: the imitation is a neuroepithelium.; int4 & int14 -> int15: the fact that the imitation is not zygomatic and not a Vinogradoff is not correct.; int3 & int15 -> int16: the imitation is a kind of a Vinogradoff.; int16 -> int17: there is something such that it is a Vinogradoff.;
$hypothesis$ = the anarchist does not horripilate. ; $context$ = sent1: the fact that something is a microbe and is not cardiographic is not right if it does truck sentimentalist. sent2: if the sociobiologist opens sociobiologist but it is not a kind of a nativist it does truck sentimentalist. sent3: if something is a Vinogradoff then that it does not horripilate is right. sent4: something is a Vinogradoff if that it is non-zygomatic thing that is not a Vinogradoff does not hold. sent5: the anarchist is a neuroepithelium if something is not peninsular but it does camber Jena. sent6: if the sociobiologist is not pompous it opens sociobiologist and it is not a kind of a nativist. sent7: if the fact that something is a microbe but it is not cardiographic is not right then it is plus. sent8: if there is something such that the fact that it is not quartzose and/or it does not prank is wrong the imitation is a neuroepithelium. sent9: that there exists something such that it is a kind of non-Lusitanian thing that opens changeableness is correct. sent10: the anarchist is a Vinogradoff if a non-zygomatic thing is a neuroepithelium. sent11: there is something such that it is not zygomatic. sent12: if something is a kind of a neuroepithelium then the fact that the fact that it is both not zygomatic and not a Vinogradoff is right is not true. sent13: there is something such that it is not zygomatic but a neuroepithelium. sent14: the sociobiologist is not pompous. sent15: the fact that something is not quartzose and/or it does not prank does not hold if it is plus. ; $proof$ = 
sent3 -> int1: the fact that the anarchist does not horripilate is not wrong if that it is a Vinogradoff is not false.; sent13 & sent10 -> int2: the anarchist is a Vinogradoff.; int1 & int2 -> hypothesis; __PROVED__