the tyrocidine does not piece Dendromecon.
sent1: if something is a koala then it does piece Dendromecon. sent2: the menstruum parleys if the laser is a burlesque. sent3: the laser is a kind of a koala and/or it is a burlesque. sent4: if the laser is a koala the menstruum is a kind of a parley. sent5: there exists nothing that is a kind of a parley that does not repress rocket.
sent3 & sent4 & sent2 -> int1: the menstruum does parley.; int1 -> int2: there is something such that it parleys.;
the tyrocidine does piece Dendromecon.
sent1 -> int3: the tyrocidine does piece Dendromecon if it is a koala.; sent5 -> int4: the fact that the fact that the laser is a kind of a parley but it does not repress rocket hold does not hold.; int4 -> int5: there exists something such that that it is a parley and it does not repress rocket is not right.;
$hypothesis$ = the tyrocidine does not piece Dendromecon. ; $context$ = sent1: if something is a koala then it does piece Dendromecon. sent2: the menstruum parleys if the laser is a burlesque. sent3: the laser is a kind of a koala and/or it is a burlesque. sent4: if the laser is a koala the menstruum is a kind of a parley. sent5: there exists nothing that is a kind of a parley that does not repress rocket. ; $proof$ = 
sent3 & sent4 & sent2 -> int1: the menstruum does parley.; int1 -> int2: there is something such that it parleys.; __UNKNOWN__