the fact that the amputee impersonates pigtail if the longbow is a kind of a headrest is false.
sent1: if the Vogul impersonates pigtail then it is not a health. sent2: the mesocarp is a Maja. sent3: the amputee does impersonate pigtail if it is not unassertive and it is a Maja. sent4: the amputee is not unassertive but it is a Maja if the longbow is not a edacity. sent5: if the amputee is not a headrest then the longbow is unassertive. sent6: if the longbow is hieratic then it is not unassertive. sent7: the longbow impersonates pigtail. sent8: the longbow is unassertive if the amputee is a headrest. sent9: the longbow is a kind of a sulfamethoxazole. sent10: the longbow is not a edacity if it is a kind of a headrest. sent11: the amputee is not a headrest but it is a edacity if the longbow does not impersonate pigtail. sent12: if the amputee does not impersonate pigtail and is a kind of a headrest then that it is unassertive is not false. sent13: if that the amputee is both not a edacity and unassertive is not false the fact that it is a headrest is right.
void -> assump1: Let's assume that the fact that the longbow is a kind of a headrest is not incorrect.; sent10 & assump1 -> int1: the fact that the longbow is not a edacity is correct.; int1 & sent4 -> int2: the amputee is both not unassertive and a Maja.; int2 & sent3 -> int3: the amputee impersonates pigtail.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the amputee impersonates pigtail if the longbow is a kind of a headrest is false. ; $context$ = sent1: if the Vogul impersonates pigtail then it is not a health. sent2: the mesocarp is a Maja. sent3: the amputee does impersonate pigtail if it is not unassertive and it is a Maja. sent4: the amputee is not unassertive but it is a Maja if the longbow is not a edacity. sent5: if the amputee is not a headrest then the longbow is unassertive. sent6: if the longbow is hieratic then it is not unassertive. sent7: the longbow impersonates pigtail. sent8: the longbow is unassertive if the amputee is a headrest. sent9: the longbow is a kind of a sulfamethoxazole. sent10: the longbow is not a edacity if it is a kind of a headrest. sent11: the amputee is not a headrest but it is a edacity if the longbow does not impersonate pigtail. sent12: if the amputee does not impersonate pigtail and is a kind of a headrest then that it is unassertive is not false. sent13: if that the amputee is both not a edacity and unassertive is not false the fact that it is a headrest is right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the longbow is a kind of a headrest is not incorrect.; sent10 & assump1 -> int1: the fact that the longbow is not a edacity is correct.; int1 & sent4 -> int2: the amputee is both not unassertive and a Maja.; int2 & sent3 -> int3: the amputee impersonates pigtail.; [assump1] & int3 -> hypothesis; __DISPROVED__