that the escutcheon is a kind of a Rh and is not a glaze is incorrect.
sent1: that the banger is a kind of a Welshman that does negotiate Frankenstein is not correct. sent2: there is something such that it is not a Welshman. sent3: the escutcheon is not a kind of a bunkmate if there is something such that it is not a Welshman. sent4: that if something is not a bunkmate the fact that it is both a Rh and not a glaze is not right is not wrong.
sent4 -> int1: the fact that the escutcheon is a Rh but not a glaze does not hold if it is not a bunkmate.; sent2 & sent3 -> int2: the escutcheon is not a kind of a bunkmate.; int1 & int2 -> hypothesis;
$hypothesis$ = that the escutcheon is a kind of a Rh and is not a glaze is incorrect. ; $context$ = sent1: that the banger is a kind of a Welshman that does negotiate Frankenstein is not correct. sent2: there is something such that it is not a Welshman. sent3: the escutcheon is not a kind of a bunkmate if there is something such that it is not a Welshman. sent4: that if something is not a bunkmate the fact that it is both a Rh and not a glaze is not right is not wrong. ; $proof$ = 
sent4 -> int1: the fact that the escutcheon is a Rh but not a glaze does not hold if it is not a bunkmate.; sent2 & sent3 -> int2: the escutcheon is not a kind of a bunkmate.; int1 & int2 -> hypothesis; __PROVED__