that the Pembroke is non-mnemonics and not informative is incorrect.
sent1: the intervenor is uninformative if the ranger is a kind of a switcheroo. sent2: if the intervenor is uninformative then that the Pembroke is not a mnemonics but it is uninformative is incorrect. sent3: the ranger is a kind of a eye-lotion and is a switcheroo.
sent3 -> int1: the ranger is a switcheroo.; sent1 & int1 -> int2: the intervenor is uninformative.; sent2 & int2 -> hypothesis;
$hypothesis$ = that the Pembroke is non-mnemonics and not informative is incorrect. ; $context$ = sent1: the intervenor is uninformative if the ranger is a kind of a switcheroo. sent2: if the intervenor is uninformative then that the Pembroke is not a mnemonics but it is uninformative is incorrect. sent3: the ranger is a kind of a eye-lotion and is a switcheroo. ; $proof$ = 
sent3 -> int1: the ranger is a switcheroo.; sent1 & int1 -> int2: the intervenor is uninformative.; sent2 & int2 -> hypothesis; __PROVED__