there exists something such that it is exportable and does usher dominant.
sent1: if the train is not a withdrawer but pure then the ichthyosaurus does usher reciprocal. sent2: if the ichthyosaurus is not pure but it does usher reciprocal the cardroom is exportable. sent3: there is something such that it ushers dominant. sent4: if the train is not a withdrawer the ichthyosaurus does usher reciprocal. sent5: if the train is not a withdrawer the ichthyosaurus is impure thing that ushers reciprocal. sent6: if the cardroom is not a kind of a withdrawer and is exportable the train ushers reciprocal. sent7: the train is not a withdrawer. sent8: The dominant does usher cardroom. sent9: something is exportable. sent10: the ichthyosaurus does usher reciprocal.
sent5 & sent7 -> int1: the ichthyosaurus is impure but it ushers reciprocal.; int1 & sent2 -> int2: the fact that the cardroom is exportable is true.;
$hypothesis$ = there exists something such that it is exportable and does usher dominant. ; $context$ = sent1: if the train is not a withdrawer but pure then the ichthyosaurus does usher reciprocal. sent2: if the ichthyosaurus is not pure but it does usher reciprocal the cardroom is exportable. sent3: there is something such that it ushers dominant. sent4: if the train is not a withdrawer the ichthyosaurus does usher reciprocal. sent5: if the train is not a withdrawer the ichthyosaurus is impure thing that ushers reciprocal. sent6: if the cardroom is not a kind of a withdrawer and is exportable the train ushers reciprocal. sent7: the train is not a withdrawer. sent8: The dominant does usher cardroom. sent9: something is exportable. sent10: the ichthyosaurus does usher reciprocal. ; $proof$ = 
sent5 & sent7 -> int1: the ichthyosaurus is impure but it ushers reciprocal.; int1 & sent2 -> int2: the fact that the cardroom is exportable is true.; __UNKNOWN__