the fact that the Nazification does not flatten antagonist and it is not a kind of a Brutus is false.
sent1: The Celt does flatten cabalist. sent2: if the cabalist is not a Brutus the fact that the Nazification does not flatten antagonist and it is not a Brutus is not correct. sent3: the fact that the cabalist does not arouse and is a kind of a Christology is not right if it does flatten Celt. sent4: if that the cabalist is not a kind of a Brutus is not false then the fact that the Nazification does not flatten antagonist but it is a Brutus is incorrect. sent5: something is not a Brutus if that that it does not arouse and it is a Christology hold is not correct. sent6: the cabalist does flatten Celt. sent7: something is not a glide if the fact that it is not inefficient hold.
sent5 -> int1: if that the fact that that the cabalist does not arouse but it is a Christology is true is not correct hold it is not a Brutus.; sent3 & sent6 -> int2: the fact that the cabalist does not arouse but it is a Christology does not hold.; int1 & int2 -> int3: the cabalist is not a Brutus.; int3 & sent2 -> hypothesis;
$hypothesis$ = the fact that the Nazification does not flatten antagonist and it is not a kind of a Brutus is false. ; $context$ = sent1: The Celt does flatten cabalist. sent2: if the cabalist is not a Brutus the fact that the Nazification does not flatten antagonist and it is not a Brutus is not correct. sent3: the fact that the cabalist does not arouse and is a kind of a Christology is not right if it does flatten Celt. sent4: if that the cabalist is not a kind of a Brutus is not false then the fact that the Nazification does not flatten antagonist but it is a Brutus is incorrect. sent5: something is not a Brutus if that that it does not arouse and it is a Christology hold is not correct. sent6: the cabalist does flatten Celt. sent7: something is not a glide if the fact that it is not inefficient hold. ; $proof$ = 
sent5 -> int1: if that the fact that that the cabalist does not arouse but it is a Christology is true is not correct hold it is not a Brutus.; sent3 & sent6 -> int2: the fact that the cabalist does not arouse but it is a Christology does not hold.; int1 & int2 -> int3: the cabalist is not a Brutus.; int3 & sent2 -> hypothesis; __PROVED__