the spotlight is not a kind of a Zurvanism and it is not a kind of an antibiotic.
sent1: the gypsum is a trouble if the fact that the fact that the foreland does not outnumber Libby and is not a stave does not hold is right. sent2: The gypsum adapts spotlight. sent3: if the foreland is not preanal then that it does not outnumber Libby and it is not a stave is false. sent4: that the gypsum is not a trouble is correct. sent5: the spotlight does tint if the foreland is preanal. sent6: the spotlight adapts gypsum. sent7: something that tints and adapts gypsum is not a Zurvanism.
void -> assump1: Let's assume that the foreland is not preanal.; sent3 & assump1 -> int1: the fact that the foreland does not outnumber Libby and is not a stave is not correct.; int1 & sent1 -> int2: the gypsum is a kind of a trouble.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the foreland is preanal.; int4 & sent5 -> int5: the spotlight does tint.; int5 & sent6 -> int6: the spotlight tints and adapts gypsum.; sent7 -> int7: the spotlight is not a kind of a Zurvanism if it does tint and it adapts gypsum.; int6 & int7 -> int8: the spotlight is not a Zurvanism.;
$hypothesis$ = the spotlight is not a kind of a Zurvanism and it is not a kind of an antibiotic. ; $context$ = sent1: the gypsum is a trouble if the fact that the fact that the foreland does not outnumber Libby and is not a stave does not hold is right. sent2: The gypsum adapts spotlight. sent3: if the foreland is not preanal then that it does not outnumber Libby and it is not a stave is false. sent4: that the gypsum is not a trouble is correct. sent5: the spotlight does tint if the foreland is preanal. sent6: the spotlight adapts gypsum. sent7: something that tints and adapts gypsum is not a Zurvanism. ; $proof$ = 
void -> assump1: Let's assume that the foreland is not preanal.; sent3 & assump1 -> int1: the fact that the foreland does not outnumber Libby and is not a stave is not correct.; int1 & sent1 -> int2: the gypsum is a kind of a trouble.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the foreland is preanal.; int4 & sent5 -> int5: the spotlight does tint.; int5 & sent6 -> int6: the spotlight tints and adapts gypsum.; sent7 -> int7: the spotlight is not a kind of a Zurvanism if it does tint and it adapts gypsum.; int6 & int7 -> int8: the spotlight is not a Zurvanism.; __UNKNOWN__