that the Russian is non-plain but it does talk brashness does not hold.
sent1: if the Russian does fool dispassion and is not an etcetera it is non-irresponsible. sent2: that something is not a lighted but it is an etcetera does not hold if it is a kind of a Congo. sent3: the fact that the Russian is plain and it talks brashness is not right. sent4: the Russian is irresponsible if it is hemispheric. sent5: that something does not fool dispassion is not incorrect if it is a Congo. sent6: if the fact that something is gymnastic but it is not hemispheric is not right it is irresponsible. sent7: if something is a kind of a Congo then it does not fool dispassion and is not an etcetera. sent8: that the Russian is gymnastic and it is hemispheric is false. sent9: if something does not fool dispassion and is not an etcetera then it is not irresponsible. sent10: that something is not irresponsible is correct if it fools dispassion and it is not an etcetera. sent11: that the Russian is plain and talks brashness is not correct if it is not a kind of a Congo. sent12: the fact that the Russian is not a plain but it does talk brashness is not correct if the fact that it is not a Congo is not wrong. sent13: if something is hemispheric then it is irresponsible. sent14: if the Russian is a Congo it does not fool dispassion. sent15: that the Russian is gymnastic thing that is not hemispheric is not correct.
sent7 -> int1: if the Russian is a Congo then it does not fool dispassion and it is not a kind of an etcetera.; void -> assump1: Let's assume that the Russian is a Congo.; int1 & assump1 -> int2: that the Russian does not fool dispassion and is not an etcetera hold.; sent9 -> int3: the Russian is not irresponsible if it does not fool dispassion and it is not an etcetera.; int2 & int3 -> int4: the Russian is not irresponsible.; sent6 -> int5: the Russian is irresponsible if the fact that it is gymnastic and it is not hemispheric is wrong.; int5 & sent15 -> int6: the Russian is irresponsible.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Russian is not a Congo.; int8 & sent12 -> hypothesis;
that the cephalochordate does not light but it is an etcetera does not hold.
sent2 -> int9: that the cephalochordate is both not lighted and an etcetera is wrong if it is a Congo.;
$hypothesis$ = that the Russian is non-plain but it does talk brashness does not hold. ; $context$ = sent1: if the Russian does fool dispassion and is not an etcetera it is non-irresponsible. sent2: that something is not a lighted but it is an etcetera does not hold if it is a kind of a Congo. sent3: the fact that the Russian is plain and it talks brashness is not right. sent4: the Russian is irresponsible if it is hemispheric. sent5: that something does not fool dispassion is not incorrect if it is a Congo. sent6: if the fact that something is gymnastic but it is not hemispheric is not right it is irresponsible. sent7: if something is a kind of a Congo then it does not fool dispassion and is not an etcetera. sent8: that the Russian is gymnastic and it is hemispheric is false. sent9: if something does not fool dispassion and is not an etcetera then it is not irresponsible. sent10: that something is not irresponsible is correct if it fools dispassion and it is not an etcetera. sent11: that the Russian is plain and talks brashness is not correct if it is not a kind of a Congo. sent12: the fact that the Russian is not a plain but it does talk brashness is not correct if the fact that it is not a Congo is not wrong. sent13: if something is hemispheric then it is irresponsible. sent14: if the Russian is a Congo it does not fool dispassion. sent15: that the Russian is gymnastic thing that is not hemispheric is not correct. ; $proof$ = 
sent7 -> int1: if the Russian is a Congo then it does not fool dispassion and it is not a kind of an etcetera.; void -> assump1: Let's assume that the Russian is a Congo.; int1 & assump1 -> int2: that the Russian does not fool dispassion and is not an etcetera hold.; sent9 -> int3: the Russian is not irresponsible if it does not fool dispassion and it is not an etcetera.; int2 & int3 -> int4: the Russian is not irresponsible.; sent6 -> int5: the Russian is irresponsible if the fact that it is gymnastic and it is not hemispheric is wrong.; int5 & sent15 -> int6: the Russian is irresponsible.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Russian is not a Congo.; int8 & sent12 -> hypothesis; __PROVED__