the thrombosing pasta does not occur.
sent1: the coming happens. sent2: if the fact that the essentialness but not the weaning sandbag happens is not true then the thrombosing pasta does not occur. sent3: the setup does not occur and the hardness does not occur. sent4: if the fact that the essentialness does not occur and the weaning sandbag does not occur does not hold the thrombosing pasta occurs. sent5: the essentialness occurs. sent6: the spectating grange happens if the fact that the spectating grange does not occur and the essentialness does not occur does not hold.
void -> assump1: Let's assume that the essentialness does not occur and the weaning sandbag does not occur.; assump1 -> int1: the essentialness does not occur.; sent5 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the essentialness does not occur and the weaning sandbag does not occur is not right.; sent4 & int3 -> hypothesis;
that the spectating grange happens is not false.
$hypothesis$ = the thrombosing pasta does not occur. ; $context$ = sent1: the coming happens. sent2: if the fact that the essentialness but not the weaning sandbag happens is not true then the thrombosing pasta does not occur. sent3: the setup does not occur and the hardness does not occur. sent4: if the fact that the essentialness does not occur and the weaning sandbag does not occur does not hold the thrombosing pasta occurs. sent5: the essentialness occurs. sent6: the spectating grange happens if the fact that the spectating grange does not occur and the essentialness does not occur does not hold. ; $proof$ = 
void -> assump1: Let's assume that the essentialness does not occur and the weaning sandbag does not occur.; assump1 -> int1: the essentialness does not occur.; sent5 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the essentialness does not occur and the weaning sandbag does not occur is not right.; sent4 & int3 -> hypothesis; __DISPROVED__