the packing is a nogging that is not a beard.
sent1: the surrey is a kind of a torpor. sent2: if that something is not a T and does dilapidate geology is not true it is not a kind of a crinkleroot. sent3: the fact that something is not a torpor hold if that it is non-parhelic and it is not a radiotelegraph is incorrect. sent4: if the fact that something is a jaundice is correct then it is not a kind of a porch. sent5: something is not a Angolan if that it does not chain composer and dilapidates tyrolean is incorrect. sent6: the fact that something is not parhelic and it is not a radiotelegraph does not hold if it is a kind of a peer. sent7: the sorbent is not a kind of a peer if the caregiver is a radiotelegraph and it is a peer. sent8: if something does not peer then the fact that it is non-biosystematic and not non-lacustrine does not hold. sent9: the tyrolean is a kind of a Dowland and is a Angolan if the caregiver is not a peer. sent10: the fact that the tyrolean does not chain composer but it dilapidates tyrolean is incorrect. sent11: that something is a nogging but it does not beard does not hold if it is a peer. sent12: if something is not a beard then it is non-parhelic thing that is not a kind of a torpor. sent13: something that is not a kind of a torpor does not beard. sent14: if something peers then that it is parhelic and is not a radiotelegraph does not hold.
void -> assump1: Let's assume that the caregiver is not a peer.; sent9 & assump1 -> int1: the tyrolean is a kind of a Dowland and it is a Angolan.; int1 -> int2: the tyrolean is a Angolan.; sent5 -> int3: if that the tyrolean does not chain composer and does dilapidate tyrolean is not true it is not Angolan.; int3 & sent10 -> int4: the tyrolean is not Angolan.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the caregiver does peer.; sent6 -> int7: if the caregiver is a peer then that it is non-parhelic thing that is not a kind of a radiotelegraph is not correct.; int6 & int7 -> int8: that the caregiver is not parhelic and is not a kind of a radiotelegraph is false.; sent3 -> int9: the caregiver is not a torpor if that the fact that it is not parhelic and not a radiotelegraph is not false is wrong.; int8 & int9 -> int10: the caregiver is not a torpor.; sent13 -> int11: the caregiver is not a beard if it is not a torpor.; int10 & int11 -> int12: the caregiver does not beard.;
that the packing is a nogging but it is not a beard is false.
sent11 -> int13: the fact that the packing is both a nogging and not a beard is false if it peers.;
$hypothesis$ = the packing is a nogging that is not a beard. ; $context$ = sent1: the surrey is a kind of a torpor. sent2: if that something is not a T and does dilapidate geology is not true it is not a kind of a crinkleroot. sent3: the fact that something is not a torpor hold if that it is non-parhelic and it is not a radiotelegraph is incorrect. sent4: if the fact that something is a jaundice is correct then it is not a kind of a porch. sent5: something is not a Angolan if that it does not chain composer and dilapidates tyrolean is incorrect. sent6: the fact that something is not parhelic and it is not a radiotelegraph does not hold if it is a kind of a peer. sent7: the sorbent is not a kind of a peer if the caregiver is a radiotelegraph and it is a peer. sent8: if something does not peer then the fact that it is non-biosystematic and not non-lacustrine does not hold. sent9: the tyrolean is a kind of a Dowland and is a Angolan if the caregiver is not a peer. sent10: the fact that the tyrolean does not chain composer but it dilapidates tyrolean is incorrect. sent11: that something is a nogging but it does not beard does not hold if it is a peer. sent12: if something is not a beard then it is non-parhelic thing that is not a kind of a torpor. sent13: something that is not a kind of a torpor does not beard. sent14: if something peers then that it is parhelic and is not a radiotelegraph does not hold. ; $proof$ = 
void -> assump1: Let's assume that the caregiver is not a peer.; sent9 & assump1 -> int1: the tyrolean is a kind of a Dowland and it is a Angolan.; int1 -> int2: the tyrolean is a Angolan.; sent5 -> int3: if that the tyrolean does not chain composer and does dilapidate tyrolean is not true it is not Angolan.; int3 & sent10 -> int4: the tyrolean is not Angolan.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the caregiver does peer.; sent6 -> int7: if the caregiver is a peer then that it is non-parhelic thing that is not a kind of a radiotelegraph is not correct.; int6 & int7 -> int8: that the caregiver is not parhelic and is not a kind of a radiotelegraph is false.; sent3 -> int9: the caregiver is not a torpor if that the fact that it is not parhelic and not a radiotelegraph is not false is wrong.; int8 & int9 -> int10: the caregiver is not a torpor.; sent13 -> int11: the caregiver is not a beard if it is not a torpor.; int10 & int11 -> int12: the caregiver does not beard.; __UNKNOWN__