the sheltering favus happens.
sent1: that not the wiring Bailey but the unperceptiveness happens is incorrect. sent2: the plantarness does not occur if the shuffling does not occur but the ungenerousness happens. sent3: that the footfall occurs is caused by that the sheltering printout occurs. sent4: the distinguishing obtainment and the plantarness occurs.
void -> assump1: Let's assume that the shuffle does not occur and the ungenerousness happens.; sent2 & assump1 -> int1: the plantarness does not occur.; sent4 -> int2: that the plantarness occurs is right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that not the shuffling but the ungenerousness happens is not true.;
$hypothesis$ = the sheltering favus happens. ; $context$ = sent1: that not the wiring Bailey but the unperceptiveness happens is incorrect. sent2: the plantarness does not occur if the shuffling does not occur but the ungenerousness happens. sent3: that the footfall occurs is caused by that the sheltering printout occurs. sent4: the distinguishing obtainment and the plantarness occurs. ; $proof$ = 
void -> assump1: Let's assume that the shuffle does not occur and the ungenerousness happens.; sent2 & assump1 -> int1: the plantarness does not occur.; sent4 -> int2: that the plantarness occurs is right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that not the shuffling but the ungenerousness happens is not true.; __UNKNOWN__