the subject is not biotic and it is not life-support.
sent1: that something is both not biotic and not life-support is incorrect if it does not vociferate. sent2: the subject is not equestrian but it is a velar if it does not pig. sent3: that the subject is not life-support hold. sent4: the fact that the subject is not big but it is a bravura is incorrect. sent5: if that something is a kind of non-big a bravura does not hold it is velar. sent6: if the subject does vociferate and/or is a velar then it is not biotic. sent7: a non-equestrian and velar thing does not vociferate.
sent5 -> int1: the subject is velar if that it is not big and it is a bravura does not hold.; int1 & sent4 -> int2: the subject is a velar.; int2 -> int3: the subject does vociferate and/or it is a kind of a velar.; int3 & sent6 -> int4: the subject is not biotic.; int4 & sent3 -> hypothesis;
the fact that the subject is not biotic and is non-life-support is wrong.
sent1 -> int5: if the subject does not vociferate then the fact that it is a kind of non-biotic thing that is not life-support is not correct.; sent7 -> int6: the fact that the subject does not vociferate if the subject is not equestrian and is a velar is true.;
$hypothesis$ = the subject is not biotic and it is not life-support. ; $context$ = sent1: that something is both not biotic and not life-support is incorrect if it does not vociferate. sent2: the subject is not equestrian but it is a velar if it does not pig. sent3: that the subject is not life-support hold. sent4: the fact that the subject is not big but it is a bravura is incorrect. sent5: if that something is a kind of non-big a bravura does not hold it is velar. sent6: if the subject does vociferate and/or is a velar then it is not biotic. sent7: a non-equestrian and velar thing does not vociferate. ; $proof$ = 
sent5 -> int1: the subject is velar if that it is not big and it is a bravura does not hold.; int1 & sent4 -> int2: the subject is a velar.; int2 -> int3: the subject does vociferate and/or it is a kind of a velar.; int3 & sent6 -> int4: the subject is not biotic.; int4 & sent3 -> hypothesis; __PROVED__