the van is propagative if the ivory is febrile.
sent1: if that the ivory is propagative thing that is not a clipping is wrong then the flannelbush is febrile. sent2: the ivory is propagative if the van is a clipping. sent3: if something either is a kind of a clipping or is febrile or both then the ivory is not non-propagative. sent4: the van is propagative if something clips and/or is febrile. sent5: the ivory is a clipping. sent6: there is something such that it is precocious. sent7: if something does harry Sphyrna that it is propagative thing that is not a clipping is not right.
void -> assump1: Let's assume that the ivory is febrile.; assump1 -> int1: the ivory either clips or is febrile or both.; int1 -> int2: there is something such that that it clips or it is febrile or both is correct.; int2 & sent4 -> int3: the van is propagative.; [assump1] & int3 -> hypothesis;
the flannelbush is febrile.
sent7 -> int4: the fact that the ivory is propagative and is not a clipping is not correct if it does harry Sphyrna.;
$hypothesis$ = the van is propagative if the ivory is febrile. ; $context$ = sent1: if that the ivory is propagative thing that is not a clipping is wrong then the flannelbush is febrile. sent2: the ivory is propagative if the van is a clipping. sent3: if something either is a kind of a clipping or is febrile or both then the ivory is not non-propagative. sent4: the van is propagative if something clips and/or is febrile. sent5: the ivory is a clipping. sent6: there is something such that it is precocious. sent7: if something does harry Sphyrna that it is propagative thing that is not a clipping is not right. ; $proof$ = 
void -> assump1: Let's assume that the ivory is febrile.; assump1 -> int1: the ivory either clips or is febrile or both.; int1 -> int2: there is something such that that it clips or it is febrile or both is correct.; int2 & sent4 -> int3: the van is propagative.; [assump1] & int3 -> hypothesis; __PROVED__