the contradistinguishing love-token happens and the agranulocyticness happens if the interleaving Campephilus does not occur.
sent1: that the non-inlandness and the non-Apocryphalness occurs yields the contradistinguishing love-token. sent2: the interleaving Campephilus occurs if the fact that the inlandness does not occur and the Apocryphalness does not occur does not hold. sent3: the collapsibleness does not occur. sent4: if the crew occurs the agranulocyticness happens. sent5: if the collapsibleness does not occur the crowing and the interleaving misapplication occurs.
void -> assump1: Let's assume that that the inlandness does not occur and the Apocryphalness does not occur is incorrect.; sent2 & assump1 -> int1: the interleaving Campephilus occurs.; void -> assump2: Let's assume that the interleaving Campephilus does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: both the non-inlandness and the non-Apocryphalness happens.; int3 & sent1 -> int4: the contradistinguishing love-token happens.; sent5 & sent3 -> int5: both the crew and the interleaving misapplication occurs.; int5 -> int6: the crew happens.; sent4 & int6 -> int7: the agranulocyticness happens.; int4 & int7 -> int8: the contradistinguishing love-token and the agranulocyticness occurs.; [assump2] & int8 -> hypothesis;
$hypothesis$ = the contradistinguishing love-token happens and the agranulocyticness happens if the interleaving Campephilus does not occur. ; $context$ = sent1: that the non-inlandness and the non-Apocryphalness occurs yields the contradistinguishing love-token. sent2: the interleaving Campephilus occurs if the fact that the inlandness does not occur and the Apocryphalness does not occur does not hold. sent3: the collapsibleness does not occur. sent4: if the crew occurs the agranulocyticness happens. sent5: if the collapsibleness does not occur the crowing and the interleaving misapplication occurs. ; $proof$ = 
void -> assump1: Let's assume that that the inlandness does not occur and the Apocryphalness does not occur is incorrect.; sent2 & assump1 -> int1: the interleaving Campephilus occurs.; void -> assump2: Let's assume that the interleaving Campephilus does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: both the non-inlandness and the non-Apocryphalness happens.; int3 & sent1 -> int4: the contradistinguishing love-token happens.; sent5 & sent3 -> int5: both the crew and the interleaving misapplication occurs.; int5 -> int6: the crew happens.; sent4 & int6 -> int7: the agranulocyticness happens.; int4 & int7 -> int8: the contradistinguishing love-token and the agranulocyticness occurs.; [assump2] & int8 -> hypothesis; __PROVED__