if the timbale does clobber the darner is a blot but not a polysyllable.
sent1: the fact that the timbale clobbers but it does not fragment precipice is false. sent2: the purser is not behavioral. sent3: the timbale is a compositeness and is a spiritualism. sent4: if that something is a Soufflot but not a rotifer is not correct it blots. sent5: that something is a Soufflot but it is not a rotifer does not hold if it is not behavioral. sent6: the darner is not behavioral and it does not outflank narcolepsy. sent7: the alpha-blocker does outflank narcolepsy.
sent3 -> int1: the timbale is a kind of a compositeness.; void -> assump1: Let's assume that the timbale clobbers.; int1 & assump1 -> int2: the timbale is a compositeness and does clobber.; sent4 -> int3: if that the darner is a Soufflot but it is not a kind of a rotifer does not hold then the fact that it is a blot is right.; sent5 -> int4: that the darner is a Soufflot but not a rotifer is not correct if it is not behavioral.; sent6 -> int5: the darner is not behavioral.; int4 & int5 -> int6: the fact that the darner is both a Soufflot and not a rotifer does not hold.; int3 & int6 -> int7: the darner is a blot.;
$hypothesis$ = if the timbale does clobber the darner is a blot but not a polysyllable. ; $context$ = sent1: the fact that the timbale clobbers but it does not fragment precipice is false. sent2: the purser is not behavioral. sent3: the timbale is a compositeness and is a spiritualism. sent4: if that something is a Soufflot but not a rotifer is not correct it blots. sent5: that something is a Soufflot but it is not a rotifer does not hold if it is not behavioral. sent6: the darner is not behavioral and it does not outflank narcolepsy. sent7: the alpha-blocker does outflank narcolepsy. ; $proof$ = 
sent3 -> int1: the timbale is a kind of a compositeness.; void -> assump1: Let's assume that the timbale clobbers.; int1 & assump1 -> int2: the timbale is a compositeness and does clobber.; sent4 -> int3: if that the darner is a Soufflot but it is not a kind of a rotifer does not hold then the fact that it is a blot is right.; sent5 -> int4: that the darner is a Soufflot but not a rotifer is not correct if it is not behavioral.; sent6 -> int5: the darner is not behavioral.; int4 & int5 -> int6: the fact that the darner is both a Soufflot and not a rotifer does not hold.; int3 & int6 -> int7: the darner is a blot.; __UNKNOWN__