that if the phrenologist is a kind of a dextrose the fact that the deadeye is a Sand or it is not a fork or both is not true is not true.
sent1: if the phrenologist is a kind of a dextrose either the deadeye is a kind of a Sand or it does not fork or both. sent2: if the deadeye is a kind of a fork then the fact that the fact that the attachment is a Sand and/or it does not fork is correct is incorrect. sent3: if the attachment is a fork the deadeye is a Sand and/or is not a kind of a fork. sent4: if the attachment is a fork then the fact that the deadeye is either a Sand or not a fork or both is incorrect. sent5: the phrenologist forks or it is not a dextrose or both. sent6: the deadeye is a fork if the attachment does fork. sent7: the deadeye is a Sand and/or it is not a fork. sent8: the attachment does fork if the phrenologist is a dextrose. sent9: the phrenologist forks if the attachment is a kind of a dextrose.
void -> assump1: Let's assume that the phrenologist is a dextrose.; sent8 & assump1 -> int1: the attachment is a fork.; sent4 & int1 -> int2: the fact that the deadeye is a kind of a Sand and/or does not fork is incorrect.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that if the phrenologist is a kind of a dextrose the fact that the deadeye is a Sand or it is not a fork or both is not true is not true. ; $context$ = sent1: if the phrenologist is a kind of a dextrose either the deadeye is a kind of a Sand or it does not fork or both. sent2: if the deadeye is a kind of a fork then the fact that the fact that the attachment is a Sand and/or it does not fork is correct is incorrect. sent3: if the attachment is a fork the deadeye is a Sand and/or is not a kind of a fork. sent4: if the attachment is a fork then the fact that the deadeye is either a Sand or not a fork or both is incorrect. sent5: the phrenologist forks or it is not a dextrose or both. sent6: the deadeye is a fork if the attachment does fork. sent7: the deadeye is a Sand and/or it is not a fork. sent8: the attachment does fork if the phrenologist is a dextrose. sent9: the phrenologist forks if the attachment is a kind of a dextrose. ; $proof$ = 
void -> assump1: Let's assume that the phrenologist is a dextrose.; sent8 & assump1 -> int1: the attachment is a fork.; sent4 & int1 -> int2: the fact that the deadeye is a kind of a Sand and/or does not fork is incorrect.; [assump1] & int2 -> hypothesis; __DISPROVED__