either the mudcat is not a kind of an order or it is a cattleship or both.
sent1: the tallyman is not a Currier. sent2: if something is a Currier it is not a kind of an order or it is a cattleship or both. sent3: the tallyman does sicken somatosense. sent4: the fact that either the mudcat does not order or it is a kind of a cattleship or both is not correct if the tallyman does not order. sent5: The somatosense does sicken tallyman. sent6: if the tallyman is not a Currier and does sicken somatosense that it is not an order is true.
sent1 & sent3 -> int1: the tallyman is not a Currier but it does sicken somatosense.; int1 & sent6 -> int2: the tallyman is not an order.; int2 & sent4 -> hypothesis;
the mudcat does not order or it is a cattleship or both.
sent2 -> int3: the mudcat is not an order and/or it is a kind of a cattleship if it is a kind of a Currier.;
$hypothesis$ = either the mudcat is not a kind of an order or it is a cattleship or both. ; $context$ = sent1: the tallyman is not a Currier. sent2: if something is a Currier it is not a kind of an order or it is a cattleship or both. sent3: the tallyman does sicken somatosense. sent4: the fact that either the mudcat does not order or it is a kind of a cattleship or both is not correct if the tallyman does not order. sent5: The somatosense does sicken tallyman. sent6: if the tallyman is not a Currier and does sicken somatosense that it is not an order is true. ; $proof$ = 
sent1 & sent3 -> int1: the tallyman is not a Currier but it does sicken somatosense.; int1 & sent6 -> int2: the tallyman is not an order.; int2 & sent4 -> hypothesis; __DISPROVED__