there exists something such that that it is a Lucullus and it does not astringe is not true.
sent1: if the fact that the soubrette is non-permissible thing that does not criticize Munchhausen is not right it is not a Georgian. sent2: that the fact that the soubrette is non-permissible thing that does not criticize Munchhausen is not wrong is not true. sent3: that something is a Lucullus that does not astringe is false if it is not Georgian.
sent3 -> int1: that the soubrette is a Lucullus but it does not astringe does not hold if it is not a Georgian.; sent1 & sent2 -> int2: the soubrette is not a Georgian.; int1 & int2 -> int3: the fact that the soubrette is a kind of a Lucullus and does not astringe is not right.; int3 -> hypothesis;
$hypothesis$ = there exists something such that that it is a Lucullus and it does not astringe is not true. ; $context$ = sent1: if the fact that the soubrette is non-permissible thing that does not criticize Munchhausen is not right it is not a Georgian. sent2: that the fact that the soubrette is non-permissible thing that does not criticize Munchhausen is not wrong is not true. sent3: that something is a Lucullus that does not astringe is false if it is not Georgian. ; $proof$ = 
sent3 -> int1: that the soubrette is a Lucullus but it does not astringe does not hold if it is not a Georgian.; sent1 & sent2 -> int2: the soubrette is not a Georgian.; int1 & int2 -> int3: the fact that the soubrette is a kind of a Lucullus and does not astringe is not right.; int3 -> hypothesis; __PROVED__