the tidy happens if the centerfield happens.
sent1: the tidiness happens if the fact that either the bibliothecalness does not occur or the anonymousness occurs or both is wrong. sent2: that the centerfield does not occur is caused by that the valency happens or the temptation happens or both. sent3: if the fact that either the non-futuristicness or the attitude or both occurs does not hold the argenticness happens.
void -> assump2: Let's assume that the centerfield occurs.; void -> assump1: Let's assume that the temptation occurs.; assump1 -> int1: either the valency happens or the temptation happens or both.; sent2 & int1 -> int2: that the centerfield does not occur is not incorrect.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the temptation does not occur.;
$hypothesis$ = the tidy happens if the centerfield happens. ; $context$ = sent1: the tidiness happens if the fact that either the bibliothecalness does not occur or the anonymousness occurs or both is wrong. sent2: that the centerfield does not occur is caused by that the valency happens or the temptation happens or both. sent3: if the fact that either the non-futuristicness or the attitude or both occurs does not hold the argenticness happens. ; $proof$ = 
void -> assump2: Let's assume that the centerfield occurs.; void -> assump1: Let's assume that the temptation occurs.; assump1 -> int1: either the valency happens or the temptation happens or both.; sent2 & int1 -> int2: that the centerfield does not occur is not incorrect.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the temptation does not occur.; __UNKNOWN__