if the anamorphicness happens then the panning keycard occurs.
sent1: if the tonguing does not occur the dichromaticness occurs. sent2: that the unmasking occurs causes that the careering occurs. sent3: the voting happens. sent4: the Glaswegianness occurs. sent5: the micaceousness happens. sent6: the vexing cylindricality occurs if the fronting occurs. sent7: the panning keycard happens if the Cyprianness happens. sent8: if that the choricness happens is not false then the collectiveness happens. sent9: that the securing happens leads to that the anastigmaticness occurs. sent10: the decorating haloalkane does not occur if that the lactation does not occur is correct. sent11: the contribution happens. sent12: if the panning keycard does not occur then the anamorphicness or the Cyprianness or both happens. sent13: that the dullness does not occur is not false. sent14: the fact that the christianness is caused by that the panning dexamethasone does not occur is correct. sent15: the anamorphicness does not occur if the Cyprianness does not occur. sent16: the roost happens if the facility does not occur.
void -> assump2: Let's assume that the anamorphicness occurs.; void -> assump1: Let's assume that the Cyprianness does not occur.; sent15 & assump1 -> int1: the anamorphicness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Cyprianness happens.; sent7 & int3 -> int4: the fact that the panning keycard happens is true.; [assump2] & int4 -> hypothesis;
the decorating Lens occurs.
$hypothesis$ = if the anamorphicness happens then the panning keycard occurs. ; $context$ = sent1: if the tonguing does not occur the dichromaticness occurs. sent2: that the unmasking occurs causes that the careering occurs. sent3: the voting happens. sent4: the Glaswegianness occurs. sent5: the micaceousness happens. sent6: the vexing cylindricality occurs if the fronting occurs. sent7: the panning keycard happens if the Cyprianness happens. sent8: if that the choricness happens is not false then the collectiveness happens. sent9: that the securing happens leads to that the anastigmaticness occurs. sent10: the decorating haloalkane does not occur if that the lactation does not occur is correct. sent11: the contribution happens. sent12: if the panning keycard does not occur then the anamorphicness or the Cyprianness or both happens. sent13: that the dullness does not occur is not false. sent14: the fact that the christianness is caused by that the panning dexamethasone does not occur is correct. sent15: the anamorphicness does not occur if the Cyprianness does not occur. sent16: the roost happens if the facility does not occur. ; $proof$ = 
void -> assump2: Let's assume that the anamorphicness occurs.; void -> assump1: Let's assume that the Cyprianness does not occur.; sent15 & assump1 -> int1: the anamorphicness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Cyprianness happens.; sent7 & int3 -> int4: the fact that the panning keycard happens is true.; [assump2] & int4 -> hypothesis; __PROVED__