the psychosurgery occurs.
sent1: the demolition and the nonevent happens. sent2: the queening iodochlorhydroxyquin but not the guaranteeing piece occurs if the demolition occurs. sent3: the non-Democraticness is prevented by the Agriculture. sent4: if the queening iodochlorhydroxyquin happens then the Agriculture occurs. sent5: that the abaxialness occurs and/or that the Democraticness happens brings about that the psychosurgery does not occur. sent6: if that the nonevent does not occur hold both the psychosurgery and the demolition occurs. sent7: if the Agriculture does not occur that the queening iodochlorhydroxyquin happens and the guaranteeing piece happens is not correct.
sent1 -> int1: that the demolition occurs is not false.; sent2 & int1 -> int2: the queening iodochlorhydroxyquin happens but the guaranteeing piece does not occur.; int2 -> int3: the queening iodochlorhydroxyquin occurs.; sent4 & int3 -> int4: the Agriculture occurs.; sent3 & int4 -> int5: the fact that the Democraticness happens is not false.; int5 -> int6: the abaxialness happens and/or the Democraticness happens.; sent5 & int6 -> hypothesis;
the psychosurgery occurs.
$hypothesis$ = the psychosurgery occurs. ; $context$ = sent1: the demolition and the nonevent happens. sent2: the queening iodochlorhydroxyquin but not the guaranteeing piece occurs if the demolition occurs. sent3: the non-Democraticness is prevented by the Agriculture. sent4: if the queening iodochlorhydroxyquin happens then the Agriculture occurs. sent5: that the abaxialness occurs and/or that the Democraticness happens brings about that the psychosurgery does not occur. sent6: if that the nonevent does not occur hold both the psychosurgery and the demolition occurs. sent7: if the Agriculture does not occur that the queening iodochlorhydroxyquin happens and the guaranteeing piece happens is not correct. ; $proof$ = 
sent1 -> int1: that the demolition occurs is not false.; sent2 & int1 -> int2: the queening iodochlorhydroxyquin happens but the guaranteeing piece does not occur.; int2 -> int3: the queening iodochlorhydroxyquin occurs.; sent4 & int3 -> int4: the Agriculture occurs.; sent3 & int4 -> int5: the fact that the Democraticness happens is not false.; int5 -> int6: the abaxialness happens and/or the Democraticness happens.; sent5 & int6 -> hypothesis; __DISPROVED__