the van is an acid.
sent1: if something is Seljuk then it is a kind of an acid. sent2: if something bedews proposition the fact that it bedews osteotomy is right. sent3: the van is a Seljuk if the militarist encrusts Skopje. sent4: the fact that the adnexa is both feminist and not a Dipylon is wrong. sent5: the militarist does encrust Skopje if there is something such that that it is not a feminist and it is not Dipylon is not true. sent6: if there exists something such that it is a feminist the militarist does encrust Skopje.
sent1 -> int1: the van is an acid if it is a Seljuk.;
$hypothesis$ = the van is an acid. ; $context$ = sent1: if something is Seljuk then it is a kind of an acid. sent2: if something bedews proposition the fact that it bedews osteotomy is right. sent3: the van is a Seljuk if the militarist encrusts Skopje. sent4: the fact that the adnexa is both feminist and not a Dipylon is wrong. sent5: the militarist does encrust Skopje if there is something such that that it is not a feminist and it is not Dipylon is not true. sent6: if there exists something such that it is a feminist the militarist does encrust Skopje. ; $proof$ = 
sent1 -> int1: the van is an acid if it is a Seljuk.; __UNKNOWN__