the ewe does impair Dipus.
sent1: there exists nothing such that it either does impair gamecock or is not a code or both. sent2: if the fact that either something impairs gamecock or it is not a code or both is wrong it does impair Dipus. sent3: if that something is hemorrhagic or it is a Maidu or both is wrong it is a Gael.
sent2 -> int1: if the fact that the ewe impairs gamecock or it is not a kind of a code or both does not hold it does impair Dipus.; sent1 -> int2: that the ewe does impair gamecock and/or is not a code is wrong.; int1 & int2 -> hypothesis;
$hypothesis$ = the ewe does impair Dipus. ; $context$ = sent1: there exists nothing such that it either does impair gamecock or is not a code or both. sent2: if the fact that either something impairs gamecock or it is not a code or both is wrong it does impair Dipus. sent3: if that something is hemorrhagic or it is a Maidu or both is wrong it is a Gael. ; $proof$ = 
sent2 -> int1: if the fact that the ewe impairs gamecock or it is not a kind of a code or both does not hold it does impair Dipus.; sent1 -> int2: that the ewe does impair gamecock and/or is not a code is wrong.; int1 & int2 -> hypothesis; __PROVED__