the mourner is not a kind of a Picumnus.
sent1: that the mourner is not a kind of a Picumnus is true if something is purgatorial and it is a iodothyronine. sent2: the steamfitter is a iodothyronine. sent3: if the apposition lurches resuspension then the borzoi does not cope exudation. sent4: if the borzoi does not cope exudation and it is not heroic then the tunaburger is not unbridgeable. sent5: the borzoi is not a kind of a heroic. sent6: the borzoi does not cope exudation if the apposition is a methylenedioxymethamphetamine. sent7: the apposition lurches resuspension or is a methylenedioxymethamphetamine or both. sent8: the flatwork is a kind of a phoenicophorium but it is not plausible if the tunaburger is not unbridgeable. sent9: the apposition is non-heroic.
sent7 & sent3 & sent6 -> int1: the borzoi does not cope exudation.; int1 & sent5 -> int2: the borzoi does not cope exudation and is not a heroic.; int2 & sent4 -> int3: the fact that the tunaburger is not unbridgeable is not false.; int3 & sent8 -> int4: the flatwork is a phoenicophorium but it is implausible.;
the mourner is a kind of a Picumnus.
$hypothesis$ = the mourner is not a kind of a Picumnus. ; $context$ = sent1: that the mourner is not a kind of a Picumnus is true if something is purgatorial and it is a iodothyronine. sent2: the steamfitter is a iodothyronine. sent3: if the apposition lurches resuspension then the borzoi does not cope exudation. sent4: if the borzoi does not cope exudation and it is not heroic then the tunaburger is not unbridgeable. sent5: the borzoi is not a kind of a heroic. sent6: the borzoi does not cope exudation if the apposition is a methylenedioxymethamphetamine. sent7: the apposition lurches resuspension or is a methylenedioxymethamphetamine or both. sent8: the flatwork is a kind of a phoenicophorium but it is not plausible if the tunaburger is not unbridgeable. sent9: the apposition is non-heroic. ; $proof$ = 
sent7 & sent3 & sent6 -> int1: the borzoi does not cope exudation.; int1 & sent5 -> int2: the borzoi does not cope exudation and is not a heroic.; int2 & sent4 -> int3: the fact that the tunaburger is not unbridgeable is not false.; int3 & sent8 -> int4: the flatwork is a phoenicophorium but it is implausible.; __UNKNOWN__