if the birefringence happens the weaning cornhusk does not occur.
sent1: if the upmarketness happens then the rearmament does not occur and the weaning hayrack occurs. sent2: if the birefringence occurs then not the weaning sandbag but the weaning Thule happens. sent3: not the crush but the arsenicalness occurs. sent4: the weaning cornhusk happens. sent5: the effectiveness happens. sent6: that the ampleness does not occur and the chaetognathanness occurs is caused by that the weaning woof occurs. sent7: the birefringence prevents that the weaning Thule does not occur. sent8: if the antecedentness occurs that the meaningfulness does not occur hold. sent9: that the weaning cornhusk does not occur is prevented by that the weaning sandbag does not occur but the weaning Thule happens. sent10: the deviationism does not occur but the newsreel happens. sent11: that the weaning cornhusk occurs is prevented by that not the weaning sandbag but the weaning Thule occurs. sent12: the fact that the resignation does not occur is true. sent13: not the weaning gawkiness but the slicing occurs. sent14: the weaning coachbuilder happens. sent15: not the unhealthfulness but the dyeing happens. sent16: that the reversible happens is not wrong. sent17: the Antiguan does not occur if the fact that the poisoning happens hold. sent18: the weaning cornhusk happens if the birefringence happens. sent19: not the spectating quango but the fungicidalness occurs. sent20: the weaning Thule happens.
void -> assump1: Let's assume that the birefringence occurs.; sent2 & assump1 -> int1: that not the weaning sandbag but the weaning Thule occurs is not false.; sent11 & int1 -> int2: the weaning cornhusk does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the birefringence happens the weaning cornhusk does not occur. ; $context$ = sent1: if the upmarketness happens then the rearmament does not occur and the weaning hayrack occurs. sent2: if the birefringence occurs then not the weaning sandbag but the weaning Thule happens. sent3: not the crush but the arsenicalness occurs. sent4: the weaning cornhusk happens. sent5: the effectiveness happens. sent6: that the ampleness does not occur and the chaetognathanness occurs is caused by that the weaning woof occurs. sent7: the birefringence prevents that the weaning Thule does not occur. sent8: if the antecedentness occurs that the meaningfulness does not occur hold. sent9: that the weaning cornhusk does not occur is prevented by that the weaning sandbag does not occur but the weaning Thule happens. sent10: the deviationism does not occur but the newsreel happens. sent11: that the weaning cornhusk occurs is prevented by that not the weaning sandbag but the weaning Thule occurs. sent12: the fact that the resignation does not occur is true. sent13: not the weaning gawkiness but the slicing occurs. sent14: the weaning coachbuilder happens. sent15: not the unhealthfulness but the dyeing happens. sent16: that the reversible happens is not wrong. sent17: the Antiguan does not occur if the fact that the poisoning happens hold. sent18: the weaning cornhusk happens if the birefringence happens. sent19: not the spectating quango but the fungicidalness occurs. sent20: the weaning Thule happens. ; $proof$ = 
void -> assump1: Let's assume that the birefringence occurs.; sent2 & assump1 -> int1: that not the weaning sandbag but the weaning Thule occurs is not false.; sent11 & int1 -> int2: the weaning cornhusk does not occur.; [assump1] & int2 -> hypothesis; __PROVED__