something does not liquefy and is a bouffant.
sent1: there is something such that it does entrust doctor. sent2: if something is a acanthopterygian then it is not a wormhole. sent3: if the savior does liquefy then the freetail does not liquefy and is a bouffant. sent4: if that the dermatome is a bouffant and does not angle is not correct then the freetail is a kind of a bouffant. sent5: everything is a acanthopterygian. sent6: something is a surd. sent7: if something is a kind of a bouffant then it radios checkbook. sent8: if there is something such that that it is a surd is not wrong then that the savior does not liquefy and it is not a surd is wrong. sent9: if something is not a wormhole it is both a bombast and nonenzymatic. sent10: the savior liquefies and it is a neuroblast. sent11: there is something such that it is a bouffant that is a neuroblast. sent12: there is something such that it is a kind of a Stenotomus. sent13: there exists something such that it is low-level. sent14: if the butacaine is a bombast then the fact that that the dermatome is both a bouffant and not an angle is right does not hold. sent15: the fact that the freetail is agrypnotic is right. sent16: if the fact that the savior does not liquefy and is not a surd does not hold the freetail is a neuroblast. sent17: the savior is a neuroblast.
sent10 -> int1: that the savior does liquefy is right.; sent3 & int1 -> int2: the freetail does not liquefy but it is a bouffant.; int2 -> hypothesis;
the freetail does radio checkbook and it is a neuroblast.
sent5 -> int3: the doctor is a acanthopterygian.; sent2 -> int4: if that the doctor is a acanthopterygian is right it is not a kind of a wormhole.; int3 & int4 -> int5: the doctor is not a kind of a wormhole.; sent9 -> int6: if that the doctor is not a wormhole hold then the fact that it is a kind of a bombast and is nonenzymatic is right.; int5 & int6 -> int7: the doctor is a bombast that is nonenzymatic.; int7 -> int8: everything is a bombast and it is nonenzymatic.; int8 -> int9: the butacaine is a kind of a bombast and it is nonenzymatic.; int9 -> int10: the butacaine is a bombast.; int10 & sent14 -> int11: that the dermatome is a bouffant that is not an angle does not hold.; sent4 & int11 -> int12: the freetail is a bouffant.; sent7 -> int13: if the freetail is a bouffant then it radios checkbook.; int12 & int13 -> int14: the fact that the freetail radios checkbook is right.; sent6 & sent8 -> int15: the fact that the savior does not liquefy and is not a surd does not hold.; int15 & sent16 -> int16: the freetail is a kind of a neuroblast.; int14 & int16 -> hypothesis;
$hypothesis$ = something does not liquefy and is a bouffant. ; $context$ = sent1: there is something such that it does entrust doctor. sent2: if something is a acanthopterygian then it is not a wormhole. sent3: if the savior does liquefy then the freetail does not liquefy and is a bouffant. sent4: if that the dermatome is a bouffant and does not angle is not correct then the freetail is a kind of a bouffant. sent5: everything is a acanthopterygian. sent6: something is a surd. sent7: if something is a kind of a bouffant then it radios checkbook. sent8: if there is something such that that it is a surd is not wrong then that the savior does not liquefy and it is not a surd is wrong. sent9: if something is not a wormhole it is both a bombast and nonenzymatic. sent10: the savior liquefies and it is a neuroblast. sent11: there is something such that it is a bouffant that is a neuroblast. sent12: there is something such that it is a kind of a Stenotomus. sent13: there exists something such that it is low-level. sent14: if the butacaine is a bombast then the fact that that the dermatome is both a bouffant and not an angle is right does not hold. sent15: the fact that the freetail is agrypnotic is right. sent16: if the fact that the savior does not liquefy and is not a surd does not hold the freetail is a neuroblast. sent17: the savior is a neuroblast. ; $proof$ = 
sent10 -> int1: that the savior does liquefy is right.; sent3 & int1 -> int2: the freetail does not liquefy but it is a bouffant.; int2 -> hypothesis; __PROVED__