there exists something such that if that it is not a osteoblast is correct it is a kind of non-pilar thing that is pentangular.
sent1: if something is a osteoblast then it is both non-pilar and pentangular. sent2: the autogiro is pentangular if it is not a osteoblast. sent3: there exists something such that if it is not a Giraudoux then it is a gummite. sent4: if something is not a hand then it is a kind of non-colonic thing that is gyroscopic. sent5: there exists something such that if the fact that it is not a kind of a osteoblast hold it is pilar and it is pentangular. sent6: if the fact that the autogiro is a kind of a osteoblast is not incorrect then the fact that it is not pilar and is pentangular is not false. sent7: something that is not a kind of a osteoblast is a kind of non-pilar thing that is pentangular. sent8: if the burl is not pilar it does clue panopticon and it clues linage. sent9: there is something such that if it does not clue Cycliophora then the fact that it is a propylene and a Sciaenidae hold. sent10: if something is axiological the fact that it is non-comfortable thing that is dicotyledonous is true. sent11: if the fact that the necessitarian is not leprous hold then it is a veto and it suspends communications. sent12: if something is not a osteoblast it is pentangular. sent13: something that is not a kind of a osteoblast is pilar thing that is pentangular.
sent7 -> int1: if the autogiro is not a osteoblast it is not pilar and it is pentangular.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not a osteoblast is correct it is a kind of non-pilar thing that is pentangular. ; $context$ = sent1: if something is a osteoblast then it is both non-pilar and pentangular. sent2: the autogiro is pentangular if it is not a osteoblast. sent3: there exists something such that if it is not a Giraudoux then it is a gummite. sent4: if something is not a hand then it is a kind of non-colonic thing that is gyroscopic. sent5: there exists something such that if the fact that it is not a kind of a osteoblast hold it is pilar and it is pentangular. sent6: if the fact that the autogiro is a kind of a osteoblast is not incorrect then the fact that it is not pilar and is pentangular is not false. sent7: something that is not a kind of a osteoblast is a kind of non-pilar thing that is pentangular. sent8: if the burl is not pilar it does clue panopticon and it clues linage. sent9: there is something such that if it does not clue Cycliophora then the fact that it is a propylene and a Sciaenidae hold. sent10: if something is axiological the fact that it is non-comfortable thing that is dicotyledonous is true. sent11: if the fact that the necessitarian is not leprous hold then it is a veto and it suspends communications. sent12: if something is not a osteoblast it is pentangular. sent13: something that is not a kind of a osteoblast is pilar thing that is pentangular. ; $proof$ = 
sent7 -> int1: if the autogiro is not a osteoblast it is not pilar and it is pentangular.; int1 -> hypothesis; __PROVED__