that the workhorse caps Anthus and/or it nettles magnesium does not hold.
sent1: if the fact that the derrick parches parlor and is nonprofessional is incorrect then the flinthead does not parches parlor. sent2: if that the derrick does nettle hushed is correct then the cuckoo is not nonprofessional. sent3: the cuckoo does not disobey life-of-man. sent4: The life-of-man does not disobey cuckoo. sent5: the cuckoo is not nonprofessional if the derrick does nettle hushed and/or parches parlor. sent6: if the derrick does not parch parlor the workhorse either does cap Anthus or nettles magnesium or both. sent7: that the cuckoo is not distant and is not boustrophedonic is not correct if it does not disobey life-of-man. sent8: if something is not nonprofessional then it is not a kind of a sandhi. sent9: if the fact that the fact that something is not distant and it is not boustrophedonic hold is incorrect it is a kind of a sandhi. sent10: something that is boustrophedonic is a kind of a sandhi. sent11: the grammarian is not a sandhi and not nonprofessional.
void -> assump1: Let's assume that the derrick does parch parlor.; assump1 -> int1: the derrick nettles hushed and/or it does parch parlor.; int1 & sent5 -> int2: the cuckoo is not nonprofessional.; sent8 -> int3: if the cuckoo is not nonprofessional it is not a sandhi.; int2 & int3 -> int4: the cuckoo is not a sandhi.; sent9 -> int5: the cuckoo is a kind of a sandhi if that it is not distant and it is not boustrophedonic is not correct.; sent7 & sent3 -> int6: the fact that the cuckoo is not distant and not boustrophedonic is wrong.; int5 & int6 -> int7: the cuckoo is a kind of a sandhi.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the derrick does not parch parlor.; int9 & sent6 -> hypothesis;
the flinthead does not parch parlor.
$hypothesis$ = that the workhorse caps Anthus and/or it nettles magnesium does not hold. ; $context$ = sent1: if the fact that the derrick parches parlor and is nonprofessional is incorrect then the flinthead does not parches parlor. sent2: if that the derrick does nettle hushed is correct then the cuckoo is not nonprofessional. sent3: the cuckoo does not disobey life-of-man. sent4: The life-of-man does not disobey cuckoo. sent5: the cuckoo is not nonprofessional if the derrick does nettle hushed and/or parches parlor. sent6: if the derrick does not parch parlor the workhorse either does cap Anthus or nettles magnesium or both. sent7: that the cuckoo is not distant and is not boustrophedonic is not correct if it does not disobey life-of-man. sent8: if something is not nonprofessional then it is not a kind of a sandhi. sent9: if the fact that the fact that something is not distant and it is not boustrophedonic hold is incorrect it is a kind of a sandhi. sent10: something that is boustrophedonic is a kind of a sandhi. sent11: the grammarian is not a sandhi and not nonprofessional. ; $proof$ = 
void -> assump1: Let's assume that the derrick does parch parlor.; assump1 -> int1: the derrick nettles hushed and/or it does parch parlor.; int1 & sent5 -> int2: the cuckoo is not nonprofessional.; sent8 -> int3: if the cuckoo is not nonprofessional it is not a sandhi.; int2 & int3 -> int4: the cuckoo is not a sandhi.; sent9 -> int5: the cuckoo is a kind of a sandhi if that it is not distant and it is not boustrophedonic is not correct.; sent7 & sent3 -> int6: the fact that the cuckoo is not distant and not boustrophedonic is wrong.; int5 & int6 -> int7: the cuckoo is a kind of a sandhi.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the derrick does not parch parlor.; int9 & sent6 -> hypothesis; __DISPROVED__