either the Pneumovax is not a Canadian or it does not casket kris or both.
sent1: if the oarfish does not casket kris the fact that the Pneumovax is not a Canadian or it does not casket kris or both is wrong. sent2: if the Ovocon is not a sick but it does concretize the oarfish is not a sick. sent3: the Pneumovax is Canadian. sent4: the oarfish is not trivalent. sent5: if something is premenopausal it does not casket kris. sent6: the oarfish is not trivalent if it does not concretize. sent7: if the oarfish does not concretize then it is not trivalent and is premenopausal. sent8: the Ovocon is a stowage. sent9: the Pneumovax is a Canadian if the oarfish does not casket kris. sent10: the Ovocon is not a stowage if something is sick and/or it does concretize.
void -> assump1: Let's assume that the oarfish does concretize.; assump1 -> int1: the oarfish is a sick and/or it does concretize.; int1 -> int2: there is something such that it is sick or it concretizes or both.; int2 & sent10 -> int3: the Ovocon is not a stowage.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the oarfish does not concretize.; int5 & sent7 -> int6: the oarfish is a kind of non-trivalent thing that is premenopausal.; int6 -> int7: the oarfish is premenopausal.; sent5 -> int8: if that the oarfish is premenopausal is true then it does not casket kris.; int7 & int8 -> int9: the oarfish does not casket kris.; int9 & sent1 -> hypothesis;
the Pneumovax is not a Canadian and/or it does not casket kris.
$hypothesis$ = either the Pneumovax is not a Canadian or it does not casket kris or both. ; $context$ = sent1: if the oarfish does not casket kris the fact that the Pneumovax is not a Canadian or it does not casket kris or both is wrong. sent2: if the Ovocon is not a sick but it does concretize the oarfish is not a sick. sent3: the Pneumovax is Canadian. sent4: the oarfish is not trivalent. sent5: if something is premenopausal it does not casket kris. sent6: the oarfish is not trivalent if it does not concretize. sent7: if the oarfish does not concretize then it is not trivalent and is premenopausal. sent8: the Ovocon is a stowage. sent9: the Pneumovax is a Canadian if the oarfish does not casket kris. sent10: the Ovocon is not a stowage if something is sick and/or it does concretize. ; $proof$ = 
void -> assump1: Let's assume that the oarfish does concretize.; assump1 -> int1: the oarfish is a sick and/or it does concretize.; int1 -> int2: there is something such that it is sick or it concretizes or both.; int2 & sent10 -> int3: the Ovocon is not a stowage.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the oarfish does not concretize.; int5 & sent7 -> int6: the oarfish is a kind of non-trivalent thing that is premenopausal.; int6 -> int7: the oarfish is premenopausal.; sent5 -> int8: if that the oarfish is premenopausal is true then it does not casket kris.; int7 & int8 -> int9: the oarfish does not casket kris.; int9 & sent1 -> hypothesis; __DISPROVED__