there is something such that if it does not tyrannize and it is a bicycle it is not indissoluble.
sent1: something is not mineral if it is a prescience and is a Vasari. sent2: there exists something such that if it does not concoct loan and is a kind of a Scythian it is not a holder. sent3: there exists something such that if it does not tyrannize and it does bicycle then the fact that it is not indissoluble does not hold. sent4: if something that does evaluate is a mineral it does not rope cycloserine. sent5: if something that does not tyrannize is a kind of a bicycle then it is not indissoluble. sent6: if the jointer does not tyrannize and is a bicycle then it is indissoluble. sent7: the jointer is not indissoluble if it tyrannizes and it bicycles. sent8: there is something such that if it tyrannizes and it is a kind of a bicycle then it is not indissoluble. sent9: something is indissoluble if it does not tyrannize and is a bicycle. sent10: if something tyrannizes and bicycles then it is not indissoluble. sent11: if something that does not concoct limonite trepans then it does not evaluate.
sent5 -> int1: the jointer is not indissoluble if it does not tyrannize and is a bicycle.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not tyrannize and it is a bicycle it is not indissoluble. ; $context$ = sent1: something is not mineral if it is a prescience and is a Vasari. sent2: there exists something such that if it does not concoct loan and is a kind of a Scythian it is not a holder. sent3: there exists something such that if it does not tyrannize and it does bicycle then the fact that it is not indissoluble does not hold. sent4: if something that does evaluate is a mineral it does not rope cycloserine. sent5: if something that does not tyrannize is a kind of a bicycle then it is not indissoluble. sent6: if the jointer does not tyrannize and is a bicycle then it is indissoluble. sent7: the jointer is not indissoluble if it tyrannizes and it bicycles. sent8: there is something such that if it tyrannizes and it is a kind of a bicycle then it is not indissoluble. sent9: something is indissoluble if it does not tyrannize and is a bicycle. sent10: if something tyrannizes and bicycles then it is not indissoluble. sent11: if something that does not concoct limonite trepans then it does not evaluate. ; $proof$ = 
sent5 -> int1: the jointer is not indissoluble if it does not tyrannize and is a bicycle.; int1 -> hypothesis; __PROVED__