the fact that the Warner is not familiar and/or it is not a kind of a turbidity is not correct.
sent1: if either something is not a familiar or it is not a turbidity or both then it is a situation. sent2: the Warner is dystopian. sent3: if something is not non-dystopian and not non-precocious that it is not a situation hold. sent4: the Warner is precocious. sent5: if the fact that the tricycle is non-dystopian thing that is not a situation is not right the campanile is non-dystopian.
sent1 -> int1: if the Warner is not a familiar or it is not a turbidity or both it is a situation.; void -> assump1: Let's assume that either the Warner is not a kind of a familiar or it is not a kind of a turbidity or both.; int1 & assump1 -> int2: the Warner is a situation.; sent3 -> int3: the Warner is not a kind of a situation if the fact that it is dystopian and it is precocious hold.; sent2 & sent4 -> int4: the Warner is dystopian and it is precocious.; int3 & int4 -> int5: the Warner is not a situation.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the campanile is dystopian.
$hypothesis$ = the fact that the Warner is not familiar and/or it is not a kind of a turbidity is not correct. ; $context$ = sent1: if either something is not a familiar or it is not a turbidity or both then it is a situation. sent2: the Warner is dystopian. sent3: if something is not non-dystopian and not non-precocious that it is not a situation hold. sent4: the Warner is precocious. sent5: if the fact that the tricycle is non-dystopian thing that is not a situation is not right the campanile is non-dystopian. ; $proof$ = 
sent1 -> int1: if the Warner is not a familiar or it is not a turbidity or both it is a situation.; void -> assump1: Let's assume that either the Warner is not a kind of a familiar or it is not a kind of a turbidity or both.; int1 & assump1 -> int2: the Warner is a situation.; sent3 -> int3: the Warner is not a kind of a situation if the fact that it is dystopian and it is precocious hold.; sent2 & sent4 -> int4: the Warner is dystopian and it is precocious.; int3 & int4 -> int5: the Warner is not a situation.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__