the fact that there exists something such that if it is not intralinguistic it is not antidotal is not true.
sent1: the chickeree is a halothane. sent2: there exists something such that if it is a sawfish then it is not a kind of a Arabian. sent3: the mutineer is not intralinguistic if that the chickeree is intralinguistic and it is a basketeer is not right. sent4: the chickeree is a kind of a basketeer if it is antidotal. sent5: that something is intralinguistic is true if it is a basketeer.
void -> assump1: Let's assume that the chickeree is antidotal.; sent4 & assump1 -> int1: the chickeree is a basketeer.; sent5 -> int2: if the chickeree is a basketeer then it is intralinguistic.; int1 & int2 -> int3: the chickeree is not non-intralinguistic.; void -> assump2: Let's assume that the chickeree is not intralinguistic.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the chickeree is not antidotal.; [assump2] & int5 -> int6: that if the fact that the chickeree is not intralinguistic is true then the chickeree is not antidotal hold.; int6 -> hypothesis;
the mutineer is not intralinguistic.
$hypothesis$ = the fact that there exists something such that if it is not intralinguistic it is not antidotal is not true. ; $context$ = sent1: the chickeree is a halothane. sent2: there exists something such that if it is a sawfish then it is not a kind of a Arabian. sent3: the mutineer is not intralinguistic if that the chickeree is intralinguistic and it is a basketeer is not right. sent4: the chickeree is a kind of a basketeer if it is antidotal. sent5: that something is intralinguistic is true if it is a basketeer. ; $proof$ = 
void -> assump1: Let's assume that the chickeree is antidotal.; sent4 & assump1 -> int1: the chickeree is a basketeer.; sent5 -> int2: if the chickeree is a basketeer then it is intralinguistic.; int1 & int2 -> int3: the chickeree is not non-intralinguistic.; void -> assump2: Let's assume that the chickeree is not intralinguistic.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the chickeree is not antidotal.; [assump2] & int5 -> int6: that if the fact that the chickeree is not intralinguistic is true then the chickeree is not antidotal hold.; int6 -> hypothesis; __DISPROVED__