there is something such that if that it is a abdicator and is not antagonistic is not right the fact that it is evangelistic is true.
sent1: there exists something such that if the fact that it is a kind of a abdicator and it is antagonistic is wrong then it is evangelistic. sent2: something is evangelistic if that it is a abdicator and is not antagonistic is not right. sent3: if the Lanai does not contemn jiao it is evangelistic. sent4: if that something is a Pinus and not a halcyon does not hold then it does ridicule Westernization.
sent2 -> int1: the Lanai is evangelistic if that it is a kind of a abdicator and it is non-antagonistic is not true.; int1 -> hypothesis;
there exists something such that if that it is a Pinus that is not a halcyon does not hold then the fact that it ridicules Westernization is not false.
sent4 -> int2: the plug-ugly does ridicule Westernization if that it is a Pinus and is not a halcyon is not true.; int2 -> hypothesis;
$hypothesis$ = there is something such that if that it is a abdicator and is not antagonistic is not right the fact that it is evangelistic is true. ; $context$ = sent1: there exists something such that if the fact that it is a kind of a abdicator and it is antagonistic is wrong then it is evangelistic. sent2: something is evangelistic if that it is a abdicator and is not antagonistic is not right. sent3: if the Lanai does not contemn jiao it is evangelistic. sent4: if that something is a Pinus and not a halcyon does not hold then it does ridicule Westernization. ; $proof$ = 
sent2 -> int1: the Lanai is evangelistic if that it is a kind of a abdicator and it is non-antagonistic is not true.; int1 -> hypothesis; __PROVED__