there exists something such that if it is not femoral then that it is a kind of a iron-tree is true.
sent1: something that is not femoral is a kind of a iron-tree. sent2: the Passer does brazen Ford if the fact that it is not a iron-tree is correct. sent3: the Passer is a iron-tree if it is femoral. sent4: if something is not ossicular then it does encourage argentite. sent5: if the Passer is a Ottawa then it is a kind of a ultimacy. sent6: there exists something such that if it is femoral then it is a iron-tree. sent7: if the fact that something is femoral is not wrong it is a kind of a iron-tree. sent8: if something is a stagehand then it is a spareribs. sent9: there is something such that if it does not brazen Passer it overrides mudslide.
sent1 -> int1: if the Passer is not femoral then that it is a iron-tree hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not femoral then that it is a kind of a iron-tree is true. ; $context$ = sent1: something that is not femoral is a kind of a iron-tree. sent2: the Passer does brazen Ford if the fact that it is not a iron-tree is correct. sent3: the Passer is a iron-tree if it is femoral. sent4: if something is not ossicular then it does encourage argentite. sent5: if the Passer is a Ottawa then it is a kind of a ultimacy. sent6: there exists something such that if it is femoral then it is a iron-tree. sent7: if the fact that something is femoral is not wrong it is a kind of a iron-tree. sent8: if something is a stagehand then it is a spareribs. sent9: there is something such that if it does not brazen Passer it overrides mudslide. ; $proof$ = 
sent1 -> int1: if the Passer is not femoral then that it is a iron-tree hold.; int1 -> hypothesis; __PROVED__