the berserker is avitaminotic.
sent1: something is a Chemakum if the fact that it is not a kind of a magnesite and/or it is adaptable is not true. sent2: everything is not avitaminotic. sent3: the fact that something is a depletion but it is not an arm is not true if it is not a ETF. sent4: if the fact that the nucleon is a quinquennium but it does not arm is not true the podocarp is not avitaminotic. sent5: the fact that something is not a ETF and not a depletion does not hold if it is a Chemakum. sent6: if the fact that the corner is not a ETF and is not a depletion does not hold the nucleon is not a kind of a depletion. sent7: that something is a quinquennium and not an arm does not hold if it is not a kind of a depletion. sent8: the facsimile is not avitaminotic.
sent2 -> hypothesis;
the berserker is avitaminotic.
sent3 -> int1: if the corner is not a ETF that it is a depletion and not an arm is false.;
$hypothesis$ = the berserker is avitaminotic. ; $context$ = sent1: something is a Chemakum if the fact that it is not a kind of a magnesite and/or it is adaptable is not true. sent2: everything is not avitaminotic. sent3: the fact that something is a depletion but it is not an arm is not true if it is not a ETF. sent4: if the fact that the nucleon is a quinquennium but it does not arm is not true the podocarp is not avitaminotic. sent5: the fact that something is not a ETF and not a depletion does not hold if it is a Chemakum. sent6: if the fact that the corner is not a ETF and is not a depletion does not hold the nucleon is not a kind of a depletion. sent7: that something is a quinquennium and not an arm does not hold if it is not a kind of a depletion. sent8: the facsimile is not avitaminotic. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__