the Gurkha tastes advent.
sent1: the reproduction is a kind of a waiter and it is a choc-ice. sent2: the Gurkha tastes advent if the reproduction is a choc-ice. sent3: there is something such that the fact that it is non-promissory thing that is not unpronounceable is false. sent4: if the dash-pot trusses catostomid the reproduction is not a kind of a waiter but it is a choc-ice. sent5: the catostomid tastes advent. sent6: something is a kind of a mesh and it gauges if it does not swelter glaze. sent7: if the fact that the Gurkha does truss catostomid hold that the reproduction does not taste advent and it is not a kind of a choc-ice is not right. sent8: the Gurkha is a waiter.
sent1 -> int1: the reproduction is a kind of a choc-ice.; sent2 & int1 -> hypothesis;
the Gurkha does not taste advent.
$hypothesis$ = the Gurkha tastes advent. ; $context$ = sent1: the reproduction is a kind of a waiter and it is a choc-ice. sent2: the Gurkha tastes advent if the reproduction is a choc-ice. sent3: there is something such that the fact that it is non-promissory thing that is not unpronounceable is false. sent4: if the dash-pot trusses catostomid the reproduction is not a kind of a waiter but it is a choc-ice. sent5: the catostomid tastes advent. sent6: something is a kind of a mesh and it gauges if it does not swelter glaze. sent7: if the fact that the Gurkha does truss catostomid hold that the reproduction does not taste advent and it is not a kind of a choc-ice is not right. sent8: the Gurkha is a waiter. ; $proof$ = 
sent1 -> int1: the reproduction is a kind of a choc-ice.; sent2 & int1 -> hypothesis; __PROVED__