the buttress is not nonimitative.
sent1: that the buttress is imitative if the buttress is not non-existentialist hold. sent2: something is a existentialist if the fact that it is imitative is correct. sent3: if the fesse is one-piece it is a kind of a carouse. sent4: the buttress is existentialist.
sent1 & sent4 -> hypothesis;
the washroom is a existentialist.
sent2 -> int1: if the washroom is imitative it is existentialist.;
$hypothesis$ = the buttress is not nonimitative. ; $context$ = sent1: that the buttress is imitative if the buttress is not non-existentialist hold. sent2: something is a existentialist if the fact that it is imitative is correct. sent3: if the fesse is one-piece it is a kind of a carouse. sent4: the buttress is existentialist. ; $proof$ = 
sent1 & sent4 -> hypothesis; __PROVED__