the fact that that the rock is not decent but it is antimonic is not correct if that the garden is not a kind of a tumescence is not wrong is false.
sent1: the fact that the gent is viral hold if the fact that the hatchel is pharmacological is true. sent2: that the rock is viral hold if it is decent. sent3: the rock is agranulocytic if it is pharmacological. sent4: the hatchel is pharmacological if the rock is a Beninese. sent5: the garden is a tumescence if the gent is rotational. sent6: a viral thing is rotational. sent7: the rock is a kind of a Beninese if it is not decent and it is antimonic.
void -> assump1: Let's assume that the rock is not decent but it is antimonic.; sent7 & assump1 -> int1: the rock is Beninese.; int1 & sent4 -> int2: the fact that the hatchel is pharmacological is not wrong.; int2 & sent1 -> int3: the gent is viral.; sent6 -> int4: the gent is rotational if it is viral.; int3 & int4 -> int5: the gent is rotational.; int5 & sent5 -> int6: the garden is a tumescence.; void -> assump2: Let's assume that the garden is not a tumescence.; int6 & assump2 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the rock is not decent but antimonic does not hold.; [assump2] & int8 -> hypothesis;
the fact that the isoproterenol is not agranulocytic but it is antimonic is not correct.
$hypothesis$ = the fact that that the rock is not decent but it is antimonic is not correct if that the garden is not a kind of a tumescence is not wrong is false. ; $context$ = sent1: the fact that the gent is viral hold if the fact that the hatchel is pharmacological is true. sent2: that the rock is viral hold if it is decent. sent3: the rock is agranulocytic if it is pharmacological. sent4: the hatchel is pharmacological if the rock is a Beninese. sent5: the garden is a tumescence if the gent is rotational. sent6: a viral thing is rotational. sent7: the rock is a kind of a Beninese if it is not decent and it is antimonic. ; $proof$ = 
void -> assump1: Let's assume that the rock is not decent but it is antimonic.; sent7 & assump1 -> int1: the rock is Beninese.; int1 & sent4 -> int2: the fact that the hatchel is pharmacological is not wrong.; int2 & sent1 -> int3: the gent is viral.; sent6 -> int4: the gent is rotational if it is viral.; int3 & int4 -> int5: the gent is rotational.; int5 & sent5 -> int6: the garden is a tumescence.; void -> assump2: Let's assume that the garden is not a tumescence.; int6 & assump2 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the rock is not decent but antimonic does not hold.; [assump2] & int8 -> hypothesis; __DISPROVED__