the fancy does not occur.
sent1: the polyvalentness occurs if the adding court happens. sent2: that the polyvalentness occurs leads to that the adding gemsbok happens. sent3: if the adding gemsbok occurs then that the grumbling Armillariella happens is true. sent4: the cramming occurs. sent5: the adding court happens and the trimming occurs.
sent5 -> int1: the adding court occurs.; int1 & sent1 -> int2: the polyvalentness occurs.; int2 & sent2 -> int3: the adding gemsbok happens.; int3 & sent3 -> int4: the grumbling Armillariella occurs.;
$hypothesis$ = the fancy does not occur. ; $context$ = sent1: the polyvalentness occurs if the adding court happens. sent2: that the polyvalentness occurs leads to that the adding gemsbok happens. sent3: if the adding gemsbok occurs then that the grumbling Armillariella happens is true. sent4: the cramming occurs. sent5: the adding court happens and the trimming occurs. ; $proof$ = 
sent5 -> int1: the adding court occurs.; int1 & sent1 -> int2: the polyvalentness occurs.; int2 & sent2 -> int3: the adding gemsbok happens.; int3 & sent3 -> int4: the grumbling Armillariella occurs.; __UNKNOWN__