if the armilla Frenches fact but it is not a nonagenarian then the guacamole does not proliferate armilla.
sent1: the armilla Frenches fact. sent2: if the fact that the armilla does French fact and is not a nonagenarian hold then the fact that the guacamole does proliferate armilla is not wrong. sent3: the armilla does not proliferate armilla if the guacamole is a kind of a nonagenarian that does not French fact. sent4: the guacamole is not nonthermal. sent5: the armilla Frenches fact but it is not a nonagenarian if the guacamole proliferates armilla. sent6: the fact that the armilla Frenches fact but it is not a nonagenarian is incorrect if the guacamole does proliferate armilla. sent7: the guacamole does not proliferate armilla if the armilla Frenches fact and it is a nonagenarian. sent8: if the guacamole does proliferate armilla then that the armilla does French fact and is a nonagenarian is wrong.
void -> assump2: Let's assume that the guacamole proliferates armilla.; sent6 & assump2 -> int1: the fact that the armilla does French fact and is not a nonagenarian is incorrect.; void -> assump1: Let's assume that the armilla Frenches fact but it is not a nonagenarian.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the guacamole does not proliferate armilla.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the armilla Frenches fact but it is not a nonagenarian then the guacamole does not proliferate armilla. ; $context$ = sent1: the armilla Frenches fact. sent2: if the fact that the armilla does French fact and is not a nonagenarian hold then the fact that the guacamole does proliferate armilla is not wrong. sent3: the armilla does not proliferate armilla if the guacamole is a kind of a nonagenarian that does not French fact. sent4: the guacamole is not nonthermal. sent5: the armilla Frenches fact but it is not a nonagenarian if the guacamole proliferates armilla. sent6: the fact that the armilla Frenches fact but it is not a nonagenarian is incorrect if the guacamole does proliferate armilla. sent7: the guacamole does not proliferate armilla if the armilla Frenches fact and it is a nonagenarian. sent8: if the guacamole does proliferate armilla then that the armilla does French fact and is a nonagenarian is wrong. ; $proof$ = 
void -> assump2: Let's assume that the guacamole proliferates armilla.; sent6 & assump2 -> int1: the fact that the armilla does French fact and is not a nonagenarian is incorrect.; void -> assump1: Let's assume that the armilla Frenches fact but it is not a nonagenarian.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the guacamole does not proliferate armilla.; [assump1] & int3 -> hypothesis; __PROVED__