the dope is anthropic.
sent1: if that the dope does denationalize hourglass and is not anthropic does not hold it is a chador. sent2: the actuator is nonretractile if it is not a Sphacelotheca. sent3: if the buccula is a Sphacelotheca that that the dope denationalizes hourglass but it is not anthropic is incorrect is correct. sent4: the allocator is juridical and it is a misfire. sent5: the actuator is not a kind of a Sphacelotheca. sent6: that something does not denationalize dope and does denationalize hourglass is false if it is a chador. sent7: the dope is not anthropic if that the allocator does not denationalize dope and denationalizes hourglass does not hold. sent8: if the allocator is not a chador and is juridical then the actuator is retractile. sent9: the buccula is a Sphacelotheca. sent10: if something is juridical that it is both not a misfire and nonretractile is not true.
sent4 -> int1: the allocator is juridical.; void -> assump1: Let's assume that the allocator is not a chador.; int1 & assump1 -> int2: the allocator is not a chador but juridical.; int2 & sent8 -> int3: that the actuator is nonretractile is not true.; sent2 & sent5 -> int4: the actuator is nonretractile.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the allocator is a chador.; sent6 -> int7: the fact that that the allocator does not denationalize dope but it does denationalize hourglass is not incorrect is false if it is a chador.; int6 & int7 -> int8: the fact that the allocator does not denationalize dope and denationalizes hourglass does not hold.; int8 & sent7 -> hypothesis;
the allocator is not nonretractile.
sent10 -> int9: if the actuator is juridical then that it is not a misfire and it is nonretractile is not correct.; sent3 & sent9 -> int10: that the dope does denationalize hourglass but it is not anthropic is wrong.; sent1 & int10 -> int11: the dope is a kind of a chador.;
$hypothesis$ = the dope is anthropic. ; $context$ = sent1: if that the dope does denationalize hourglass and is not anthropic does not hold it is a chador. sent2: the actuator is nonretractile if it is not a Sphacelotheca. sent3: if the buccula is a Sphacelotheca that that the dope denationalizes hourglass but it is not anthropic is incorrect is correct. sent4: the allocator is juridical and it is a misfire. sent5: the actuator is not a kind of a Sphacelotheca. sent6: that something does not denationalize dope and does denationalize hourglass is false if it is a chador. sent7: the dope is not anthropic if that the allocator does not denationalize dope and denationalizes hourglass does not hold. sent8: if the allocator is not a chador and is juridical then the actuator is retractile. sent9: the buccula is a Sphacelotheca. sent10: if something is juridical that it is both not a misfire and nonretractile is not true. ; $proof$ = 
sent4 -> int1: the allocator is juridical.; void -> assump1: Let's assume that the allocator is not a chador.; int1 & assump1 -> int2: the allocator is not a chador but juridical.; int2 & sent8 -> int3: that the actuator is nonretractile is not true.; sent2 & sent5 -> int4: the actuator is nonretractile.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the allocator is a chador.; sent6 -> int7: the fact that that the allocator does not denationalize dope but it does denationalize hourglass is not incorrect is false if it is a chador.; int6 & int7 -> int8: the fact that the allocator does not denationalize dope and denationalizes hourglass does not hold.; int8 & sent7 -> hypothesis; __DISPROVED__