there exists something such that it is a kind of a harangue that is congeneric.
sent1: the hoist is both not a Pongo and a paneling. sent2: that the convector is a Pongo is true. sent3: that the hoist is a harangue is correct if it is both not a Pongo and a paneling. sent4: the hoist is congeneric. sent5: if the hoist does not pleat salve then the waverer is a kind of congeneric thing that does harangue. sent6: if the hoist is both tegular and not non-recombinant then it is a kind of a Pongo.
sent3 & sent1 -> int1: the hoist harangues.; int1 & sent4 -> int2: the hoist is a harangue that is congeneric.; int2 -> hypothesis;
that the waverer does harangue is not false.
$hypothesis$ = there exists something such that it is a kind of a harangue that is congeneric. ; $context$ = sent1: the hoist is both not a Pongo and a paneling. sent2: that the convector is a Pongo is true. sent3: that the hoist is a harangue is correct if it is both not a Pongo and a paneling. sent4: the hoist is congeneric. sent5: if the hoist does not pleat salve then the waverer is a kind of congeneric thing that does harangue. sent6: if the hoist is both tegular and not non-recombinant then it is a kind of a Pongo. ; $proof$ = 
sent3 & sent1 -> int1: the hoist harangues.; int1 & sent4 -> int2: the hoist is a harangue that is congeneric.; int2 -> hypothesis; __PROVED__