the fact that if the organza is a program the cyclostyle is non-alvine is not correct.
sent1: if the in-basket is a ripeness then the fact that the gassing is ill but not physiological does not hold. sent2: the in-basket is a ripeness if the fact that the cyclostyle does lather sulcus but it is not alvine does not hold. sent3: if the gassing is non-ill then the organza is not a program. sent4: if the fact that the gassing is both ill and non-physiological is not correct then the organza does not program.
void -> assump2: Let's assume that the organza is a program.; void -> assump1: Let's assume that that that the cyclostyle lathers sulcus but it is not alvine is wrong is right.; sent2 & assump1 -> int1: the in-basket is a kind of a ripeness.; sent1 & int1 -> int2: that the gassing is a kind of ill thing that is not physiological does not hold.; sent4 & int2 -> int3: the organza does not program.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the cyclostyle does lather sulcus but it is not alvine.; int5 -> int6: the cyclostyle is not alvine.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the fact that if the organza is a program the cyclostyle is non-alvine is not correct. ; $context$ = sent1: if the in-basket is a ripeness then the fact that the gassing is ill but not physiological does not hold. sent2: the in-basket is a ripeness if the fact that the cyclostyle does lather sulcus but it is not alvine does not hold. sent3: if the gassing is non-ill then the organza is not a program. sent4: if the fact that the gassing is both ill and non-physiological is not correct then the organza does not program. ; $proof$ = 
void -> assump2: Let's assume that the organza is a program.; void -> assump1: Let's assume that that that the cyclostyle lathers sulcus but it is not alvine is wrong is right.; sent2 & assump1 -> int1: the in-basket is a kind of a ripeness.; sent1 & int1 -> int2: that the gassing is a kind of ill thing that is not physiological does not hold.; sent4 & int2 -> int3: the organza does not program.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the cyclostyle does lather sulcus but it is not alvine.; int5 -> int6: the cyclostyle is not alvine.; [assump2] & int6 -> hypothesis; __DISPROVED__