if the drawer is a delicacy then the kitsch does obtrude.
sent1: the kitsch obtrudes if there exists something such that that it is not communicative and/or it is a kind of a thioridazine is false. sent2: there is something such that it either is not communicative or is a kind of a thioridazine or both. sent3: the fact that the drawer is not a kind of a delicacy and/or it is communicative is wrong if the rudderpost is not a delicacy. sent4: if the drawer is uncommunicative then that the rudderpost is not uncommunicative and/or it is a thioridazine is incorrect. sent5: if there exists something such that that that either it is communicative or it is a thioridazine or both is true does not hold the kitsch obtrudes. sent6: there is something such that it is communicative. sent7: that something is not a Barbadian is not incorrect if it does fritter. sent8: the rudderpost is communicative. sent9: if there exists something such that the fact that it is not communicative and/or it does obtrude is not true the drawer is a kind of a delicacy. sent10: the rudderpost is communicative if the drawer is a kind of a thioridazine. sent11: something is not a azithromycin if it is a kind of an alliance. sent12: the rudderpost is communicative if the drawer is not communicative. sent13: the fact that the drawer is not a delicacy or obtrudes or both is wrong. sent14: if the kitsch is communicative then the rudderpost does obtrude. sent15: if something is a kind of a delicacy then it is not communicative.
sent15 -> int1: if the drawer is a kind of a delicacy it is not communicative.; void -> assump1: Let's assume that the drawer is a kind of a delicacy.; int1 & assump1 -> int2: the drawer is not communicative.; sent4 & int2 -> int3: that the rudderpost is not communicative or it is a thioridazine or both is wrong.; int3 -> int4: there exists something such that the fact that it is not communicative and/or it is a thioridazine does not hold.; int4 & sent1 -> int5: the kitsch obtrudes.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the drawer is a delicacy then the kitsch does obtrude. ; $context$ = sent1: the kitsch obtrudes if there exists something such that that it is not communicative and/or it is a kind of a thioridazine is false. sent2: there is something such that it either is not communicative or is a kind of a thioridazine or both. sent3: the fact that the drawer is not a kind of a delicacy and/or it is communicative is wrong if the rudderpost is not a delicacy. sent4: if the drawer is uncommunicative then that the rudderpost is not uncommunicative and/or it is a thioridazine is incorrect. sent5: if there exists something such that that that either it is communicative or it is a thioridazine or both is true does not hold the kitsch obtrudes. sent6: there is something such that it is communicative. sent7: that something is not a Barbadian is not incorrect if it does fritter. sent8: the rudderpost is communicative. sent9: if there exists something such that the fact that it is not communicative and/or it does obtrude is not true the drawer is a kind of a delicacy. sent10: the rudderpost is communicative if the drawer is a kind of a thioridazine. sent11: something is not a azithromycin if it is a kind of an alliance. sent12: the rudderpost is communicative if the drawer is not communicative. sent13: the fact that the drawer is not a delicacy or obtrudes or both is wrong. sent14: if the kitsch is communicative then the rudderpost does obtrude. sent15: if something is a kind of a delicacy then it is not communicative. ; $proof$ = 
sent15 -> int1: if the drawer is a kind of a delicacy it is not communicative.; void -> assump1: Let's assume that the drawer is a kind of a delicacy.; int1 & assump1 -> int2: the drawer is not communicative.; sent4 & int2 -> int3: that the rudderpost is not communicative or it is a thioridazine or both is wrong.; int3 -> int4: there exists something such that the fact that it is not communicative and/or it is a thioridazine does not hold.; int4 & sent1 -> int5: the kitsch obtrudes.; [assump1] & int5 -> hypothesis; __PROVED__