if the congressman is supersonic then the spouter is a vicar-general.
sent1: if the vivarium is not an unemployment then the fact that it is not a beaten and it is a Pseudobombax does not hold. sent2: everything is not all. sent3: if something is a kind of an unemployment the fact that the vivarium is not a kind of a damper but it quenches CBR does not hold. sent4: if the freeman quenches CBR that the spouter is a vicar-general is not wrong. sent5: if something is non-all then that it is necrotic and it is indestructible does not hold. sent6: the congressman is not supersonic if the fact that the vivarium does not beat but it is a kind of a Pseudobombax is not right.
void -> assump2: Let's assume that the vivarium is not an unemployment.; sent1 & assump2 -> int1: that the vivarium is not a beaten but it is a kind of a Pseudobombax is wrong.; int1 & sent6 -> int2: that the congressman is not supersonic is not incorrect.; void -> assump1: Let's assume that the congressman is supersonic.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the vivarium is an unemployment.;
the fact that the vivarium is not a damper and does quench CBR does not hold.
sent5 -> int5: that the gloxinia is both necrotic and indestructible does not hold if it is not all.; sent2 -> int6: the gloxinia is not all.; int5 & int6 -> int7: the fact that the gloxinia is necrotic and it is indestructible is not right.; int7 -> int8: there exists nothing such that it is a kind of necrotic thing that is indestructible.; int8 -> int9: the fact that the spouter is necrotic and is indestructible is wrong.; int9 -> int10: there is something such that the fact that it is necrotic and it is indestructible is not true.;
$hypothesis$ = if the congressman is supersonic then the spouter is a vicar-general. ; $context$ = sent1: if the vivarium is not an unemployment then the fact that it is not a beaten and it is a Pseudobombax does not hold. sent2: everything is not all. sent3: if something is a kind of an unemployment the fact that the vivarium is not a kind of a damper but it quenches CBR does not hold. sent4: if the freeman quenches CBR that the spouter is a vicar-general is not wrong. sent5: if something is non-all then that it is necrotic and it is indestructible does not hold. sent6: the congressman is not supersonic if the fact that the vivarium does not beat but it is a kind of a Pseudobombax is not right. ; $proof$ = 
void -> assump2: Let's assume that the vivarium is not an unemployment.; sent1 & assump2 -> int1: that the vivarium is not a beaten but it is a kind of a Pseudobombax is wrong.; int1 & sent6 -> int2: that the congressman is not supersonic is not incorrect.; void -> assump1: Let's assume that the congressman is supersonic.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the vivarium is an unemployment.; __UNKNOWN__