the bait happens if the familiarity occurs.
sent1: the apocynaceousness does not occur. sent2: the vibrionicness does not occur. sent3: if the usualness does not occur the bait happens. sent4: if the undeniableness happens and the effecting occurs then the drafting does not occur. sent5: the heightening happens but the sidling Smith does not occur. sent6: the sidling Smith does not occur. sent7: the revenging occurs and the denying does not occur. sent8: that the hatching self-fertilization and the volubleness occurs prevents that the conjuncture happens. sent9: the chaetalness happens but the clinching Spain does not occur. sent10: the purring does not occur. sent11: if the clinching autoeroticism does not occur then the heightening does not occur. sent12: that the hypotensiveness occurs brings about the explicitness. sent13: the inertialness does not occur. sent14: the playableness occurs and the fabianness happens.
void -> assump2: Let's assume that the clinching autoeroticism does not occur.; sent11 & assump2 -> int1: the heightening does not occur.; sent5 -> int2: the heightening happens.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the clinching autoeroticism happens.; void -> assump1: Let's assume that the familiarity occurs.; int4 & assump1 -> int5: the familiarity and the clinching autoeroticism happens.;
$hypothesis$ = the bait happens if the familiarity occurs. ; $context$ = sent1: the apocynaceousness does not occur. sent2: the vibrionicness does not occur. sent3: if the usualness does not occur the bait happens. sent4: if the undeniableness happens and the effecting occurs then the drafting does not occur. sent5: the heightening happens but the sidling Smith does not occur. sent6: the sidling Smith does not occur. sent7: the revenging occurs and the denying does not occur. sent8: that the hatching self-fertilization and the volubleness occurs prevents that the conjuncture happens. sent9: the chaetalness happens but the clinching Spain does not occur. sent10: the purring does not occur. sent11: if the clinching autoeroticism does not occur then the heightening does not occur. sent12: that the hypotensiveness occurs brings about the explicitness. sent13: the inertialness does not occur. sent14: the playableness occurs and the fabianness happens. ; $proof$ = 
void -> assump2: Let's assume that the clinching autoeroticism does not occur.; sent11 & assump2 -> int1: the heightening does not occur.; sent5 -> int2: the heightening happens.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the clinching autoeroticism happens.; void -> assump1: Let's assume that the familiarity occurs.; int4 & assump1 -> int5: the familiarity and the clinching autoeroticism happens.; __UNKNOWN__