the fact that the curator cokes but it is not metamorphic is false.
sent1: the fact that the curator cokes but it is not metamorphic is not correct if the timolol is not metamorphic. sent2: the wain is reverberant. sent3: if that something is not a ha-ha is correct then it is not a shelter and it is not a Cotingidae. sent4: if the rosette does not shelter the fact that it is a pharmacology and it is reverberant is wrong. sent5: if there is something such that it is a convertible then that the rosette is not a coke but a shelter is not true. sent6: if the wain is a shelter that is not a Cotingidae the timolol is not metamorphic. sent7: the fact that the curator does coke and it is metamorphic is false if the fact that the timolol is not metamorphic is true. sent8: if the fact that something is a pharmacology and reverberant is false then it is not reverberant. sent9: the timolol is a kind of a convertible. sent10: the wain is reverberant if the fact that the rosette is a kind of a pharmacology hold. sent11: something is not a shelter if it is not a Cotingidae. sent12: that the fact that the curator is a kind of a coke and it is metamorphic is not right is not wrong. sent13: the rosette is a pharmacology. sent14: if the wain does not shelter and it is not a kind of a Cotingidae then the timolol is not metamorphic. sent15: if the rosette is a kind of a pharmacology then the wain is not a ha-ha and is reverberant. sent16: if the wain is both not a shelter and a Cotingidae the timolol is not metamorphic. sent17: if the fact that the curator is not a Cotingidae and it is not a pharmacology is not correct then it is not metamorphic.
sent15 & sent13 -> int1: the wain is not a kind of a ha-ha and is reverberant.; int1 -> int2: the wain is not a kind of a ha-ha.; sent3 -> int3: if that the wain is not a kind of a ha-ha is not incorrect then it is not a shelter and it is not a Cotingidae.; int2 & int3 -> int4: the wain is not a shelter and it is not a Cotingidae.; int4 & sent14 -> int5: the timolol is not metamorphic.; int5 & sent1 -> hypothesis;
the rosette is not reverberant.
sent8 -> int6: the rosette is not reverberant if that it is a pharmacology that is reverberant is false.; sent11 -> int7: if the rosette is not a Cotingidae then it is not a shelter.;
$hypothesis$ = the fact that the curator cokes but it is not metamorphic is false. ; $context$ = sent1: the fact that the curator cokes but it is not metamorphic is not correct if the timolol is not metamorphic. sent2: the wain is reverberant. sent3: if that something is not a ha-ha is correct then it is not a shelter and it is not a Cotingidae. sent4: if the rosette does not shelter the fact that it is a pharmacology and it is reverberant is wrong. sent5: if there is something such that it is a convertible then that the rosette is not a coke but a shelter is not true. sent6: if the wain is a shelter that is not a Cotingidae the timolol is not metamorphic. sent7: the fact that the curator does coke and it is metamorphic is false if the fact that the timolol is not metamorphic is true. sent8: if the fact that something is a pharmacology and reverberant is false then it is not reverberant. sent9: the timolol is a kind of a convertible. sent10: the wain is reverberant if the fact that the rosette is a kind of a pharmacology hold. sent11: something is not a shelter if it is not a Cotingidae. sent12: that the fact that the curator is a kind of a coke and it is metamorphic is not right is not wrong. sent13: the rosette is a pharmacology. sent14: if the wain does not shelter and it is not a kind of a Cotingidae then the timolol is not metamorphic. sent15: if the rosette is a kind of a pharmacology then the wain is not a ha-ha and is reverberant. sent16: if the wain is both not a shelter and a Cotingidae the timolol is not metamorphic. sent17: if the fact that the curator is not a Cotingidae and it is not a pharmacology is not correct then it is not metamorphic. ; $proof$ = 
sent15 & sent13 -> int1: the wain is not a kind of a ha-ha and is reverberant.; int1 -> int2: the wain is not a kind of a ha-ha.; sent3 -> int3: if that the wain is not a kind of a ha-ha is not incorrect then it is not a shelter and it is not a Cotingidae.; int2 & int3 -> int4: the wain is not a shelter and it is not a Cotingidae.; int4 & sent14 -> int5: the timolol is not metamorphic.; int5 & sent1 -> hypothesis; __PROVED__