the Karok is not a monoclonal.
sent1: if the peanuts archaizes that the Karok is a monoclonal is not false. sent2: if something is non-intramuscular the fact that it glorifies and/or it does not poultice Pickford hold. sent3: that the shipbuilder is not a stride but it is a say does not hold. sent4: if that the kraal is a kind of a monoclonal or it does not glorify or both is incorrect the fact that the shipbuilder does glorify is not wrong. sent5: the fact that the shipbuilder is not a stride and is not a say is not right. sent6: that something archaizes is correct if it does not glorify and/or does not poultice Pickford. sent7: a non-intramuscular thing does not glorify and/or poultices Pickford. sent8: if the shipbuilder is not a monoclonal it does not hollow or it is not a blockage or both. sent9: the peanuts either glorifies or does not poultice Pickford or both if it is not intramuscular. sent10: either the peanuts does not glorify or it does poultice Pickford or both. sent11: the Karok is not a stride. sent12: the peanuts does not glorify or it poultices Pickford or both if it is not intramuscular. sent13: the peanuts does glorify and/or it does not poultice Pickford. sent14: the shipbuilder is a say if that it is not a stride and not a say is not right. sent15: the Karok is not intramuscular if the peanuts is monoclonal. sent16: if something does not glorify then the fact that it is intramuscular and it is a say does not hold. sent17: if the shipbuilder does glorify the peanuts is not a kind of a say and it is not intramuscular. sent18: something does not glorify or it does not poultice Pickford or both if it is not intramuscular. sent19: the shipbuilder does not say if the peanuts is intramuscular.
void -> assump1: Let's assume that the peanuts is intramuscular.; sent19 & assump1 -> int1: the shipbuilder does not say.; sent14 & sent5 -> int2: the shipbuilder says.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the peanuts is not intramuscular.; sent18 -> int5: if the fact that the peanuts is not intramuscular is not incorrect it does not glorify or it does not poultice Pickford or both.; int4 & int5 -> int6: the peanuts does not glorify and/or does not poultice Pickford.; sent6 -> int7: if the peanuts does not glorify or does not poultice Pickford or both then it archaizes.; int6 & int7 -> int8: the peanuts does archaize.; int8 & sent1 -> hypothesis;
the Karok does not archaize.
$hypothesis$ = the Karok is not a monoclonal. ; $context$ = sent1: if the peanuts archaizes that the Karok is a monoclonal is not false. sent2: if something is non-intramuscular the fact that it glorifies and/or it does not poultice Pickford hold. sent3: that the shipbuilder is not a stride but it is a say does not hold. sent4: if that the kraal is a kind of a monoclonal or it does not glorify or both is incorrect the fact that the shipbuilder does glorify is not wrong. sent5: the fact that the shipbuilder is not a stride and is not a say is not right. sent6: that something archaizes is correct if it does not glorify and/or does not poultice Pickford. sent7: a non-intramuscular thing does not glorify and/or poultices Pickford. sent8: if the shipbuilder is not a monoclonal it does not hollow or it is not a blockage or both. sent9: the peanuts either glorifies or does not poultice Pickford or both if it is not intramuscular. sent10: either the peanuts does not glorify or it does poultice Pickford or both. sent11: the Karok is not a stride. sent12: the peanuts does not glorify or it poultices Pickford or both if it is not intramuscular. sent13: the peanuts does glorify and/or it does not poultice Pickford. sent14: the shipbuilder is a say if that it is not a stride and not a say is not right. sent15: the Karok is not intramuscular if the peanuts is monoclonal. sent16: if something does not glorify then the fact that it is intramuscular and it is a say does not hold. sent17: if the shipbuilder does glorify the peanuts is not a kind of a say and it is not intramuscular. sent18: something does not glorify or it does not poultice Pickford or both if it is not intramuscular. sent19: the shipbuilder does not say if the peanuts is intramuscular. ; $proof$ = 
void -> assump1: Let's assume that the peanuts is intramuscular.; sent19 & assump1 -> int1: the shipbuilder does not say.; sent14 & sent5 -> int2: the shipbuilder says.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the peanuts is not intramuscular.; sent18 -> int5: if the fact that the peanuts is not intramuscular is not incorrect it does not glorify or it does not poultice Pickford or both.; int4 & int5 -> int6: the peanuts does not glorify and/or does not poultice Pickford.; sent6 -> int7: if the peanuts does not glorify or does not poultice Pickford or both then it archaizes.; int6 & int7 -> int8: the peanuts does archaize.; int8 & sent1 -> hypothesis; __DISPROVED__