the Turkoman is a prologue.
sent1: if that the facade is a kind of non-Jamaican a Glaser is not correct then it is a kind of a Agastache. sent2: if the fact that the facade is a kind of a Agastache is right then the berserker does smut. sent3: the fact that the facade is not a Jamaican but it is a Glaser does not hold. sent4: if the berserker is a smut the Turkoman is a prologue.
sent1 & sent3 -> int1: the facade is a Agastache.; sent2 & int1 -> int2: the berserker does smut.; sent4 & int2 -> hypothesis;
$hypothesis$ = the Turkoman is a prologue. ; $context$ = sent1: if that the facade is a kind of non-Jamaican a Glaser is not correct then it is a kind of a Agastache. sent2: if the fact that the facade is a kind of a Agastache is right then the berserker does smut. sent3: the fact that the facade is not a Jamaican but it is a Glaser does not hold. sent4: if the berserker is a smut the Turkoman is a prologue. ; $proof$ = 
sent1 & sent3 -> int1: the facade is a Agastache.; sent2 & int1 -> int2: the berserker does smut.; sent4 & int2 -> hypothesis; __PROVED__