the phenelzine is a kind of a puttyroot.
sent1: something shags. sent2: the hoopoe is a Kwakiutl and is a kind of a huff. sent3: the gangliocyte is a Kwakiutl. sent4: there is something such that it does huff. sent5: there is something such that it is synclinal. sent6: there exists something such that it is a kind of a Nazimova. sent7: the phenelzine does huff. sent8: there exists something such that it is a kind of a Kwakiutl and it is a puttyroot. sent9: if a Kwakiutl huffs the fact that the phenelzine is not a kind of a puttyroot is not true.
sent2 -> int1: something is a Kwakiutl and it does huff.; int1 & sent9 -> hypothesis;
$hypothesis$ = the phenelzine is a kind of a puttyroot. ; $context$ = sent1: something shags. sent2: the hoopoe is a Kwakiutl and is a kind of a huff. sent3: the gangliocyte is a Kwakiutl. sent4: there is something such that it does huff. sent5: there is something such that it is synclinal. sent6: there exists something such that it is a kind of a Nazimova. sent7: the phenelzine does huff. sent8: there exists something such that it is a kind of a Kwakiutl and it is a puttyroot. sent9: if a Kwakiutl huffs the fact that the phenelzine is not a kind of a puttyroot is not true. ; $proof$ = 
sent2 -> int1: something is a Kwakiutl and it does huff.; int1 & sent9 -> hypothesis; __PROVED__