if the headpiece is not Uniate then the flatlet is not an actin.
sent1: if that the fact that something is a kind of a gradualness and it does comfort Xyphophorus is not incorrect is false it does not comfort Xyphophorus. sent2: the flatlet is nonruminant. sent3: the flatlet is not a celandine if it is an actin and it is nonruminant. sent4: the headpiece is not a celandine if it is both an actin and Uniate. sent5: the flatlet is not an actin if the headpiece is Uniate. sent6: the flatlet is an actin if the headpiece is not Uniate. sent7: the flatlet is not a gunsight. sent8: the headpiece is Uniate if the flatlet is not a kind of a celandine. sent9: the headpiece is an actin. sent10: the Balkan is not an actin. sent11: the flatlet is Uniate if the headpiece is not an actin. sent12: the virologist is not Uniate if that it is Uniate thing that is acquisitive is wrong. sent13: the flatlet is not Uniate. sent14: the headpiece is influential.
void -> assump2: Let's assume that the flatlet is a kind of an actin.; assump2 & sent2 -> int1: the fact that the flatlet is a kind of an actin and it is nonruminant hold.; int1 & sent3 -> int2: the flatlet is not a kind of a celandine.; int2 & sent8 -> int3: the headpiece is Uniate.; void -> assump1: Let's assume that the headpiece is not Uniate.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the flatlet is not an actin.; [assump1] & int5 -> hypothesis;
the virologist is not a celandine.
sent1 -> int6: if the fact that the headpiece is a gradualness and it comforts Xyphophorus does not hold it does not comforts Xyphophorus.;
$hypothesis$ = if the headpiece is not Uniate then the flatlet is not an actin. ; $context$ = sent1: if that the fact that something is a kind of a gradualness and it does comfort Xyphophorus is not incorrect is false it does not comfort Xyphophorus. sent2: the flatlet is nonruminant. sent3: the flatlet is not a celandine if it is an actin and it is nonruminant. sent4: the headpiece is not a celandine if it is both an actin and Uniate. sent5: the flatlet is not an actin if the headpiece is Uniate. sent6: the flatlet is an actin if the headpiece is not Uniate. sent7: the flatlet is not a gunsight. sent8: the headpiece is Uniate if the flatlet is not a kind of a celandine. sent9: the headpiece is an actin. sent10: the Balkan is not an actin. sent11: the flatlet is Uniate if the headpiece is not an actin. sent12: the virologist is not Uniate if that it is Uniate thing that is acquisitive is wrong. sent13: the flatlet is not Uniate. sent14: the headpiece is influential. ; $proof$ = 
void -> assump2: Let's assume that the flatlet is a kind of an actin.; assump2 & sent2 -> int1: the fact that the flatlet is a kind of an actin and it is nonruminant hold.; int1 & sent3 -> int2: the flatlet is not a kind of a celandine.; int2 & sent8 -> int3: the headpiece is Uniate.; void -> assump1: Let's assume that the headpiece is not Uniate.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the flatlet is not an actin.; [assump1] & int5 -> hypothesis; __PROVED__