the foxhole is not Prakritic.
sent1: the foxhole is not pistillate. sent2: something hypnotizes talented but it is not adducent. sent3: that if something is both not a Kuhn and not ritualistic then it is not corinthian is correct. sent4: if something does not pin halon and/or it is a kind of a covering the spinster does not pin halon. sent5: something is not a corkscrew if the fact that it is not bolometric is not false. sent6: there exists something such that either it does pin Neruda or it is not mystic or both. sent7: the posthole is not ritualistic if the fact that it is both a concern and ritualistic does not hold. sent8: the spinster is not a mother. sent9: there is nothing that is a concern and ritualistic. sent10: something that does not pin halon does not pin Virgilia. sent11: if something is not corinthian it does not pin halon and does not pin Virgilia. sent12: if something is not a crapaud but it is mandibular it is Prakritic. sent13: there exists something such that either it is a kind of a cardinal or it is not a kind of a piss-up or both. sent14: the posthole is not a Kuhn if there exists something such that it is either not non-pistillate or not a crapaud or both. sent15: the foxhole is not Prakritic if the posthole does not pin halon and does not pin Virgilia. sent16: something is both a constraint and not a mother. sent17: there is something such that it does not pin halon or does cover or both. sent18: if something is pistillate then it is both not a crapaud and mandibular. sent19: if something is not mandibular it is pistillate and/or is not a crapaud.
sent19 -> int1: if the spinster is not mandibular then it is pistillate and/or it is not a crapaud.; sent9 -> int2: the fact that the posthole is a kind of a concern and it is ritualistic is false.; sent7 & int2 -> int3: that the posthole is not ritualistic is not wrong.; sent3 -> int4: if the posthole is not a Kuhn and not ritualistic it is not corinthian.; sent11 -> int5: if the posthole is not corinthian then it does not pin halon and does not pin Virgilia.;
the foxhole is Prakritic.
sent12 -> int6: the foxhole is Prakritic if it is not a kind of a crapaud and it is mandibular.; sent18 -> int7: the foxhole is not a crapaud but mandibular if it is pistillate.; sent10 -> int8: the spinster does not pin Virgilia if it does not pin halon.; sent17 & sent4 -> int9: the spinster does not pin halon.; int8 & int9 -> int10: the spinster does not pin Virgilia.;
$hypothesis$ = the foxhole is not Prakritic. ; $context$ = sent1: the foxhole is not pistillate. sent2: something hypnotizes talented but it is not adducent. sent3: that if something is both not a Kuhn and not ritualistic then it is not corinthian is correct. sent4: if something does not pin halon and/or it is a kind of a covering the spinster does not pin halon. sent5: something is not a corkscrew if the fact that it is not bolometric is not false. sent6: there exists something such that either it does pin Neruda or it is not mystic or both. sent7: the posthole is not ritualistic if the fact that it is both a concern and ritualistic does not hold. sent8: the spinster is not a mother. sent9: there is nothing that is a concern and ritualistic. sent10: something that does not pin halon does not pin Virgilia. sent11: if something is not corinthian it does not pin halon and does not pin Virgilia. sent12: if something is not a crapaud but it is mandibular it is Prakritic. sent13: there exists something such that either it is a kind of a cardinal or it is not a kind of a piss-up or both. sent14: the posthole is not a Kuhn if there exists something such that it is either not non-pistillate or not a crapaud or both. sent15: the foxhole is not Prakritic if the posthole does not pin halon and does not pin Virgilia. sent16: something is both a constraint and not a mother. sent17: there is something such that it does not pin halon or does cover or both. sent18: if something is pistillate then it is both not a crapaud and mandibular. sent19: if something is not mandibular it is pistillate and/or is not a crapaud. ; $proof$ = 
sent19 -> int1: if the spinster is not mandibular then it is pistillate and/or it is not a crapaud.; sent9 -> int2: the fact that the posthole is a kind of a concern and it is ritualistic is false.; sent7 & int2 -> int3: that the posthole is not ritualistic is not wrong.; sent3 -> int4: if the posthole is not a Kuhn and not ritualistic it is not corinthian.; sent11 -> int5: if the posthole is not corinthian then it does not pin halon and does not pin Virgilia.; __UNKNOWN__