if the youth contorts Pediculidae the Dacron does not bedizen microcephaly and is sarcosomal.
sent1: the PIN does not bedizen Livermore if it is harmless. sent2: if the Dacron is not a tear and bedizens microcephaly then the cobber is not a Benedictine. sent3: the Dacron does not tear if the campstool is cervical and/or is nonextant. sent4: if something does not bedizen Livermore then the fact that it is not a kind of an origin and/or it is sarcosomal is not correct. sent5: the campstool is cervical or it is nonextant or both. sent6: the fact that the youth does not contort Pediculidae if the fact that the cryptograph is both a faintheartedness and a Benedictine does not hold is true. sent7: the campstool does not tear. sent8: if the cobber is not a Benedictine then that the cryptograph is a faintheartedness and it is a Benedictine does not hold. sent9: the PIN is harmless.
sent3 & sent5 -> int1: the Dacron is not a tear.; void -> assump2: Let's assume that the Dacron bedizens microcephaly.; int1 & assump2 -> int2: the Dacron is not a tear and bedizens microcephaly.; int2 & sent2 -> int3: the cobber is not a Benedictine.; int3 & sent8 -> int4: the fact that the cryptograph is a faintheartedness and it is a Benedictine is not correct.; int4 & sent6 -> int5: the youth does not contort Pediculidae.; void -> assump1: Let's assume that the youth contorts Pediculidae.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the Dacron does not bedizen microcephaly.; sent4 -> int8: that either the PIN is not a kind of an origin or it is sarcosomal or both does not hold if it does not bedizen Livermore.; sent1 & sent9 -> int9: the PIN does not bedizen Livermore.; int8 & int9 -> int10: the fact that the PIN is not an origin or is sarcosomal or both is not correct.;
$hypothesis$ = if the youth contorts Pediculidae the Dacron does not bedizen microcephaly and is sarcosomal. ; $context$ = sent1: the PIN does not bedizen Livermore if it is harmless. sent2: if the Dacron is not a tear and bedizens microcephaly then the cobber is not a Benedictine. sent3: the Dacron does not tear if the campstool is cervical and/or is nonextant. sent4: if something does not bedizen Livermore then the fact that it is not a kind of an origin and/or it is sarcosomal is not correct. sent5: the campstool is cervical or it is nonextant or both. sent6: the fact that the youth does not contort Pediculidae if the fact that the cryptograph is both a faintheartedness and a Benedictine does not hold is true. sent7: the campstool does not tear. sent8: if the cobber is not a Benedictine then that the cryptograph is a faintheartedness and it is a Benedictine does not hold. sent9: the PIN is harmless. ; $proof$ = 
sent3 & sent5 -> int1: the Dacron is not a tear.; void -> assump2: Let's assume that the Dacron bedizens microcephaly.; int1 & assump2 -> int2: the Dacron is not a tear and bedizens microcephaly.; int2 & sent2 -> int3: the cobber is not a Benedictine.; int3 & sent8 -> int4: the fact that the cryptograph is a faintheartedness and it is a Benedictine is not correct.; int4 & sent6 -> int5: the youth does not contort Pediculidae.; void -> assump1: Let's assume that the youth contorts Pediculidae.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the Dacron does not bedizen microcephaly.; sent4 -> int8: that either the PIN is not a kind of an origin or it is sarcosomal or both does not hold if it does not bedizen Livermore.; sent1 & sent9 -> int9: the PIN does not bedizen Livermore.; int8 & int9 -> int10: the fact that the PIN is not an origin or is sarcosomal or both is not correct.; __UNKNOWN__