the county films.
sent1: the tapestry does not subtilize difference. sent2: if the fact that something is not proprioceptive and is not a Plesianthropus is false then it does not film. sent3: the tapestry does subtilize difference if it is cinerary. sent4: if the county is not a Plesianthropus that the tapestry is not gloveless and is not a Plesianthropus is not true. sent5: if that something is both not gloveless and not a Plesianthropus is false then it is cinerary. sent6: The difference does not subtilize tapestry. sent7: the fact that the county is both a Plesianthropus and not gloveless does not hold.
void -> assump1: Let's assume that the county is a kind of non-proprioceptive thing that is not a Plesianthropus.; assump1 -> int1: the county is not a Plesianthropus.; int1 & sent4 -> int2: the fact that the tapestry is not gloveless and it is not a Plesianthropus is not correct.; sent5 -> int3: if that the tapestry is not gloveless and it is not a Plesianthropus does not hold then it is cinerary.; int2 & int3 -> int4: the tapestry is cinerary.; int4 & sent3 -> int5: the tapestry does subtilize difference.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the county is not proprioceptive and it is not a Plesianthropus does not hold.; sent2 -> int8: if that the fact that that the county is a kind of non-proprioceptive thing that is not a Plesianthropus is not wrong is wrong is true then it does not film.; int7 & int8 -> hypothesis;
$hypothesis$ = the county films. ; $context$ = sent1: the tapestry does not subtilize difference. sent2: if the fact that something is not proprioceptive and is not a Plesianthropus is false then it does not film. sent3: the tapestry does subtilize difference if it is cinerary. sent4: if the county is not a Plesianthropus that the tapestry is not gloveless and is not a Plesianthropus is not true. sent5: if that something is both not gloveless and not a Plesianthropus is false then it is cinerary. sent6: The difference does not subtilize tapestry. sent7: the fact that the county is both a Plesianthropus and not gloveless does not hold. ; $proof$ = 
void -> assump1: Let's assume that the county is a kind of non-proprioceptive thing that is not a Plesianthropus.; assump1 -> int1: the county is not a Plesianthropus.; int1 & sent4 -> int2: the fact that the tapestry is not gloveless and it is not a Plesianthropus is not correct.; sent5 -> int3: if that the tapestry is not gloveless and it is not a Plesianthropus does not hold then it is cinerary.; int2 & int3 -> int4: the tapestry is cinerary.; int4 & sent3 -> int5: the tapestry does subtilize difference.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the county is not proprioceptive and it is not a Plesianthropus does not hold.; sent2 -> int8: if that the fact that that the county is a kind of non-proprioceptive thing that is not a Plesianthropus is not wrong is wrong is true then it does not film.; int7 & int8 -> hypothesis; __DISPROVED__