the claustrophobe does not officialize palfrey but it is Tasmanian.
sent1: if the paperknife is not starry the numbers is not a kind of a grotto. sent2: if the claustrophobe is not a serial that the fact that the paperknife is a kind of bottomless thing that is starless is not wrong is incorrect. sent3: if the numbers convicts then that it is a kind of a grotto is right. sent4: if the numbers is a serial and it is a kind of a grotto then the paperknife is not Tasmanian. sent5: if the fact that the paperknife is bottomless but it is not starless is false then the numbers is not a kind of a grotto. sent6: if the fact that the claustrophobe is a kind of a serial and/or it is a hornbill is not incorrect then it does not officialize palfrey. sent7: that the claustrophobe convicts is not incorrect. sent8: the fact that the paperknife is both not bottomed and not starry is wrong. sent9: the claustrophobe is bottomless and/or a hornbill. sent10: the numbers is serial and it is a grotto if the scombroid is not a hornbill. sent11: if the claustrophobe is a kind of a hornbill it does not officialize palfrey. sent12: that the claustrophobe is Tasmanian is correct. sent13: the fact that the paperknife is both bottomless and not starless is false if the claustrophobe is non-serial. sent14: if the fact that the numbers is a claw is true then it is a convict.
void -> assump1: Let's assume that the claustrophobe is not serial.; sent13 & assump1 -> int1: the fact that the paperknife is bottomless and is not starless is not true.; int1 & sent5 -> int2: the numbers is not a kind of a grotto.;
that the claustrophobe does not officialize palfrey but it is Tasmanian does not hold.
$hypothesis$ = the claustrophobe does not officialize palfrey but it is Tasmanian. ; $context$ = sent1: if the paperknife is not starry the numbers is not a kind of a grotto. sent2: if the claustrophobe is not a serial that the fact that the paperknife is a kind of bottomless thing that is starless is not wrong is incorrect. sent3: if the numbers convicts then that it is a kind of a grotto is right. sent4: if the numbers is a serial and it is a kind of a grotto then the paperknife is not Tasmanian. sent5: if the fact that the paperknife is bottomless but it is not starless is false then the numbers is not a kind of a grotto. sent6: if the fact that the claustrophobe is a kind of a serial and/or it is a hornbill is not incorrect then it does not officialize palfrey. sent7: that the claustrophobe convicts is not incorrect. sent8: the fact that the paperknife is both not bottomed and not starry is wrong. sent9: the claustrophobe is bottomless and/or a hornbill. sent10: the numbers is serial and it is a grotto if the scombroid is not a hornbill. sent11: if the claustrophobe is a kind of a hornbill it does not officialize palfrey. sent12: that the claustrophobe is Tasmanian is correct. sent13: the fact that the paperknife is both bottomless and not starless is false if the claustrophobe is non-serial. sent14: if the fact that the numbers is a claw is true then it is a convict. ; $proof$ = 
void -> assump1: Let's assume that the claustrophobe is not serial.; sent13 & assump1 -> int1: the fact that the paperknife is bottomless and is not starless is not true.; int1 & sent5 -> int2: the numbers is not a kind of a grotto.; __UNKNOWN__