the mucus is algometric.
sent1: if the drag swills the mucus is algometric. sent2: if the lock is not a Webster it is a kind of a sealer that is a kind of a handbarrow. sent3: if something is steroidal then it does swill. sent4: the drag does curb scheduling but it is non-irremediable if it is not steroidal. sent5: the lock is not a Webster. sent6: the lock is not a sealer if the drag curbs scheduling but it is not irremediable. sent7: that something is a sealer but not steroidal is incorrect if it does not swill. sent8: if the lock is a kind of a Webster the fact that the drag is a Webster is not false.
void -> assump1: Let's assume that the fact that the drag is not steroidal is true.; sent4 & assump1 -> int1: the drag does curb scheduling and is not irremediable.; int1 & sent6 -> int2: the fact that the lock is not a sealer hold.; sent2 & sent5 -> int3: the lock is a kind of a sealer that is a handbarrow.; int3 -> int4: the lock is a kind of a sealer.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the drag is steroidal.; sent3 -> int7: if the drag is steroidal then it does swill.; int6 & int7 -> int8: the drag swills.; int8 & sent1 -> hypothesis;
the drag is a Webster.
sent7 -> int9: if the fact that the mucus does not swill hold the fact that it is a sealer but not steroidal is not true.;
$hypothesis$ = the mucus is algometric. ; $context$ = sent1: if the drag swills the mucus is algometric. sent2: if the lock is not a Webster it is a kind of a sealer that is a kind of a handbarrow. sent3: if something is steroidal then it does swill. sent4: the drag does curb scheduling but it is non-irremediable if it is not steroidal. sent5: the lock is not a Webster. sent6: the lock is not a sealer if the drag curbs scheduling but it is not irremediable. sent7: that something is a sealer but not steroidal is incorrect if it does not swill. sent8: if the lock is a kind of a Webster the fact that the drag is a Webster is not false. ; $proof$ = 
void -> assump1: Let's assume that the fact that the drag is not steroidal is true.; sent4 & assump1 -> int1: the drag does curb scheduling and is not irremediable.; int1 & sent6 -> int2: the fact that the lock is not a sealer hold.; sent2 & sent5 -> int3: the lock is a kind of a sealer that is a handbarrow.; int3 -> int4: the lock is a kind of a sealer.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the drag is steroidal.; sent3 -> int7: if the drag is steroidal then it does swill.; int6 & int7 -> int8: the drag swills.; int8 & sent1 -> hypothesis; __PROVED__