the redoubt is not a kind of a Amontillado.
sent1: the machine is not a Zanuck if the nailbrush is not pardonable. sent2: the trichloroethylene is insensitive an oscillation if there exists something such that it lapidifies. sent3: the nailbrush is not a Zanuck. sent4: something is a kind of a Godhead that gripes soaring. sent5: the nailbrush is insensitive. sent6: something lapidifies. sent7: if an insensitive thing is an oscillation the nailbrush is not pardonable. sent8: the trichloroethylene is both pardonable and an oscillation. sent9: the redoubt is a Zanuck. sent10: the trichloroethylene is not a kind of a midland.
sent6 & sent2 -> int1: the trichloroethylene is not sensitive but an oscillation.; int1 -> int2: there exists something such that it is not sensitive and it is an oscillation.; int2 & sent7 -> int3: the nailbrush is not pardonable.; sent1 & int3 -> int4: the machine is not a kind of a Zanuck.;
$hypothesis$ = the redoubt is not a kind of a Amontillado. ; $context$ = sent1: the machine is not a Zanuck if the nailbrush is not pardonable. sent2: the trichloroethylene is insensitive an oscillation if there exists something such that it lapidifies. sent3: the nailbrush is not a Zanuck. sent4: something is a kind of a Godhead that gripes soaring. sent5: the nailbrush is insensitive. sent6: something lapidifies. sent7: if an insensitive thing is an oscillation the nailbrush is not pardonable. sent8: the trichloroethylene is both pardonable and an oscillation. sent9: the redoubt is a Zanuck. sent10: the trichloroethylene is not a kind of a midland. ; $proof$ = 
sent6 & sent2 -> int1: the trichloroethylene is not sensitive but an oscillation.; int1 -> int2: there exists something such that it is not sensitive and it is an oscillation.; int2 & sent7 -> int3: the nailbrush is not pardonable.; sent1 & int3 -> int4: the machine is not a kind of a Zanuck.; __UNKNOWN__