the fact that the hymenalness happens and the gathering Kastler does not occur if the finiteness happens is not true.
sent1: if both the throbbing and the finiteness occurs the gathering Kastler does not occur. sent2: the fact that both the hymenalness and the explication occurs if the socializing prickle-weed does not occur is not false. sent3: the throbbing happens. sent4: the fact that the socializing prickle-weed does not occur is true.
void -> assump1: Let's assume that the finiteness happens.; sent3 & assump1 -> int1: the throbbing occurs and the finiteness happens.; int1 & sent1 -> int2: the fact that the gathering Kastler does not occur is correct.; sent2 & sent4 -> int3: the hymenalness and the explication happens.; int3 -> int4: the hymenalness happens.; int2 & int4 -> int5: the hymenalness occurs but the gathering Kastler does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the hymenalness happens and the gathering Kastler does not occur if the finiteness happens is not true. ; $context$ = sent1: if both the throbbing and the finiteness occurs the gathering Kastler does not occur. sent2: the fact that both the hymenalness and the explication occurs if the socializing prickle-weed does not occur is not false. sent3: the throbbing happens. sent4: the fact that the socializing prickle-weed does not occur is true. ; $proof$ = 
void -> assump1: Let's assume that the finiteness happens.; sent3 & assump1 -> int1: the throbbing occurs and the finiteness happens.; int1 & sent1 -> int2: the fact that the gathering Kastler does not occur is correct.; sent2 & sent4 -> int3: the hymenalness and the explication happens.; int3 -> int4: the hymenalness happens.; int2 & int4 -> int5: the hymenalness occurs but the gathering Kastler does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__