the groin leaps Southerner and is informal.
sent1: the applecart is not commodious. sent2: if something is not a kind of a potholer then that it does leap Southerner and it is informal does not hold. sent3: the applecart is not informal. sent4: the groin is a kind of a syncytium if the applecart is commodious but it is not a Denver. sent5: the groin is a syncytium if the applecart is not commodious and is not a Denver. sent6: if the groin guggles bistro it is a hiss. sent7: the element is commodious and it does include. sent8: the applecart is not commodious if the element is commodious. sent9: The bistro guggles groin. sent10: if the fact that the element does not leap Southerner and/or does include does not hold the groin leap Southerner. sent11: the groin guggles bistro. sent12: the groin is not a potholer if that it is a kind of a syncytium that is a kind of a hiss hold. sent13: if the element is commodious the applecart is not commodious and it is not a kind of a Denver. sent14: the element does include.
sent7 -> int1: the element is commodious.; int1 & sent13 -> int2: the applecart is not commodious and it is not a Denver.; int2 & sent5 -> int3: the groin is a syncytium.; sent6 & sent11 -> int4: the groin does hiss.; int3 & int4 -> int5: the groin is a kind of a syncytium that does hiss.; int5 & sent12 -> int6: the groin is not a kind of a potholer.; sent2 -> int7: if the groin is not a potholer then that it does leap Southerner and is informal is not true.; int6 & int7 -> hypothesis;
the groin leaps Southerner and it is informal.
$hypothesis$ = the groin leaps Southerner and is informal. ; $context$ = sent1: the applecart is not commodious. sent2: if something is not a kind of a potholer then that it does leap Southerner and it is informal does not hold. sent3: the applecart is not informal. sent4: the groin is a kind of a syncytium if the applecart is commodious but it is not a Denver. sent5: the groin is a syncytium if the applecart is not commodious and is not a Denver. sent6: if the groin guggles bistro it is a hiss. sent7: the element is commodious and it does include. sent8: the applecart is not commodious if the element is commodious. sent9: The bistro guggles groin. sent10: if the fact that the element does not leap Southerner and/or does include does not hold the groin leap Southerner. sent11: the groin guggles bistro. sent12: the groin is not a potholer if that it is a kind of a syncytium that is a kind of a hiss hold. sent13: if the element is commodious the applecart is not commodious and it is not a kind of a Denver. sent14: the element does include. ; $proof$ = 
sent7 -> int1: the element is commodious.; int1 & sent13 -> int2: the applecart is not commodious and it is not a Denver.; int2 & sent5 -> int3: the groin is a syncytium.; sent6 & sent11 -> int4: the groin does hiss.; int3 & int4 -> int5: the groin is a kind of a syncytium that does hiss.; int5 & sent12 -> int6: the groin is not a kind of a potholer.; sent2 -> int7: if the groin is not a potholer then that it does leap Southerner and is informal is not true.; int6 & int7 -> hypothesis; __DISPROVED__