the candlepins is a Muscovite and it prepares unsuitability.
sent1: if the candlepins does not compromise Tyrannus it is a kind of a gossamer. sent2: if the fact that something is not a Gjellerup is true then the fact that it is a Muscovite and it does prepare unsuitability does not hold. sent3: if there is something such that it is a Gjellerup then the candlepins is non-urceolate and does not compromise Tyrannus. sent4: the escalader is not a kind of a gossamer and it does not shred. sent5: if something does dab scorer then it is not non-urceolate. sent6: something is a kind of a Gjellerup. sent7: the candlepins is a Muscovite.
sent6 & sent3 -> int1: the candlepins is not urceolate and it does not compromise Tyrannus.; int1 -> int2: the candlepins does not compromise Tyrannus.; int2 & sent1 -> int3: the candlepins is a kind of a gossamer.;
that that the candlepins is a kind of a Muscovite and it does prepare unsuitability does not hold is correct.
sent2 -> int4: the fact that that the candlepins is Muscovite thing that prepares unsuitability is incorrect if the candlepins is not a Gjellerup hold.;
$hypothesis$ = the candlepins is a Muscovite and it prepares unsuitability. ; $context$ = sent1: if the candlepins does not compromise Tyrannus it is a kind of a gossamer. sent2: if the fact that something is not a Gjellerup is true then the fact that it is a Muscovite and it does prepare unsuitability does not hold. sent3: if there is something such that it is a Gjellerup then the candlepins is non-urceolate and does not compromise Tyrannus. sent4: the escalader is not a kind of a gossamer and it does not shred. sent5: if something does dab scorer then it is not non-urceolate. sent6: something is a kind of a Gjellerup. sent7: the candlepins is a Muscovite. ; $proof$ = 
sent6 & sent3 -> int1: the candlepins is not urceolate and it does not compromise Tyrannus.; int1 -> int2: the candlepins does not compromise Tyrannus.; int2 & sent1 -> int3: the candlepins is a kind of a gossamer.; __UNKNOWN__