the fact that there exists something such that if it is not lactogenic it is not centered is not correct.
sent1: if the Armenian is not lactogenic it is centered. sent2: if the Armenian is a centered it is lactogenic. sent3: the gangplank does center and it is lactogenic if the Armenian is not an adjudication.
void -> assump2: Let's assume that the Armenian is centered.; sent2 & assump2 -> int1: the fact that the Armenian is not lactogenic does not hold.; void -> assump1: Let's assume that the Armenian is not lactogenic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the Armenian does not center.; [assump1] & int3 -> int4: the Armenian is not a centered if it is not lactogenic.; int4 -> hypothesis;
the gangplank is a kind of a centered.
$hypothesis$ = the fact that there exists something such that if it is not lactogenic it is not centered is not correct. ; $context$ = sent1: if the Armenian is not lactogenic it is centered. sent2: if the Armenian is a centered it is lactogenic. sent3: the gangplank does center and it is lactogenic if the Armenian is not an adjudication. ; $proof$ = 
void -> assump2: Let's assume that the Armenian is centered.; sent2 & assump2 -> int1: the fact that the Armenian is not lactogenic does not hold.; void -> assump1: Let's assume that the Armenian is not lactogenic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the Armenian does not center.; [assump1] & int3 -> int4: the Armenian is not a centered if it is not lactogenic.; int4 -> hypothesis; __DISPROVED__