the fact that there is something such that it does not kennel scleroprotein and is not a kind of a position is false.
sent1: if the loxapine is sinkable the umber does not squire testudo. sent2: everything does squire horse-pistol and it is facultative. sent3: the horse-pistol explodes if the bran is a kind of a moralization. sent4: if something is facultative then it does squire testudo. sent5: if the horse-pistol explodes then the loxapine is sinkable. sent6: the bran squires horse-pistol. sent7: something does not kennel scleroprotein and it does not position if it is not a kind of a moralization.
void -> assump1: Let's assume that the bran is a moralization.; sent3 & assump1 -> int1: the horse-pistol does explode.; int1 & sent5 -> int2: the loxapine is sinkable.; int2 & sent1 -> int3: the umber does not squire testudo.; sent4 -> int4: the umber does squire testudo if it is facultative.; sent2 -> int5: the umber squires horse-pistol and it is facultative.; int5 -> int6: the umber is facultative.; int4 & int6 -> int7: the umber squires testudo.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the bran is not a kind of a moralization.; sent7 -> int10: if the bran is not a moralization it does not kennel scleroprotein and it is not a kind of a position.; int9 & int10 -> int11: the bran does not kennel scleroprotein and is not a kind of a position.; int11 -> hypothesis;
$hypothesis$ = the fact that there is something such that it does not kennel scleroprotein and is not a kind of a position is false. ; $context$ = sent1: if the loxapine is sinkable the umber does not squire testudo. sent2: everything does squire horse-pistol and it is facultative. sent3: the horse-pistol explodes if the bran is a kind of a moralization. sent4: if something is facultative then it does squire testudo. sent5: if the horse-pistol explodes then the loxapine is sinkable. sent6: the bran squires horse-pistol. sent7: something does not kennel scleroprotein and it does not position if it is not a kind of a moralization. ; $proof$ = 
void -> assump1: Let's assume that the bran is a moralization.; sent3 & assump1 -> int1: the horse-pistol does explode.; int1 & sent5 -> int2: the loxapine is sinkable.; int2 & sent1 -> int3: the umber does not squire testudo.; sent4 -> int4: the umber does squire testudo if it is facultative.; sent2 -> int5: the umber squires horse-pistol and it is facultative.; int5 -> int6: the umber is facultative.; int4 & int6 -> int7: the umber squires testudo.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the bran is not a kind of a moralization.; sent7 -> int10: if the bran is not a moralization it does not kennel scleroprotein and it is not a kind of a position.; int9 & int10 -> int11: the bran does not kennel scleroprotein and is not a kind of a position.; int11 -> hypothesis; __DISPROVED__