the proliferation is theosophical.
sent1: if the haft is not unperceptive the shred does sophisticate worsted and/or it is unperceptive. sent2: that the haft does drape liana but it is not realistic is wrong. sent3: if the haft is unperceptive then it does drape liana. sent4: if the shred is unperceptive the proliferation is theosophical. sent5: if the fact that the haft drapes liana but it is not realistic is incorrect then that it does not drapes liana is correct.
void -> assump1: Let's assume that the haft is unperceptive.; sent3 & assump1 -> int1: the haft drapes liana.; sent5 & sent2 -> int2: the haft does not drape liana.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the fact that the haft is unperceptive is not correct is true.; int4 & sent1 -> int5: either the shred does sophisticate worsted or it is unperceptive or both.;
$hypothesis$ = the proliferation is theosophical. ; $context$ = sent1: if the haft is not unperceptive the shred does sophisticate worsted and/or it is unperceptive. sent2: that the haft does drape liana but it is not realistic is wrong. sent3: if the haft is unperceptive then it does drape liana. sent4: if the shred is unperceptive the proliferation is theosophical. sent5: if the fact that the haft drapes liana but it is not realistic is incorrect then that it does not drapes liana is correct. ; $proof$ = 
void -> assump1: Let's assume that the haft is unperceptive.; sent3 & assump1 -> int1: the haft drapes liana.; sent5 & sent2 -> int2: the haft does not drape liana.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the fact that the haft is unperceptive is not correct is true.; int4 & sent1 -> int5: either the shred does sophisticate worsted or it is unperceptive or both.; __UNKNOWN__