the ferrite is centesimal.
sent1: the ferrite is not cherty. sent2: if that the ferrite is not magnetic and is not cherty is incorrect then it is unregenerate. sent3: the ferrite is not formic and does not coincide. sent4: if something is a true that it is centesimal hold. sent5: the mangel-wurzel is not unregenerate. sent6: the Helix is centesimal. sent7: the fact that the ferrite is a main is true. sent8: the ferrite is unregenerate. sent9: the broody is not non-centesimal. sent10: the ferrite is centesimal if it is a true. sent11: the Warner is not centesimal.
void -> assump1: Let's assume that the ferrite is regenerate thing that is not a true.; assump1 -> int1: the ferrite is not unregenerate.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the ferrite is a kind of non-unregenerate thing that does not true is incorrect.;
$hypothesis$ = the ferrite is centesimal. ; $context$ = sent1: the ferrite is not cherty. sent2: if that the ferrite is not magnetic and is not cherty is incorrect then it is unregenerate. sent3: the ferrite is not formic and does not coincide. sent4: if something is a true that it is centesimal hold. sent5: the mangel-wurzel is not unregenerate. sent6: the Helix is centesimal. sent7: the fact that the ferrite is a main is true. sent8: the ferrite is unregenerate. sent9: the broody is not non-centesimal. sent10: the ferrite is centesimal if it is a true. sent11: the Warner is not centesimal. ; $proof$ = 
void -> assump1: Let's assume that the ferrite is regenerate thing that is not a true.; assump1 -> int1: the ferrite is not unregenerate.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the ferrite is a kind of non-unregenerate thing that does not true is incorrect.; __UNKNOWN__