the chevron is a Moscow.
sent1: the house is a cruiserweight if the classics is postmodernist. sent2: if something is a Poecilocapsus it is postmodernist. sent3: if the classics is a kind of a pollster then it is postmodernist. sent4: if something is a pollster then it is a Moscow. sent5: the classics is not postmodernist if there is something such that it is not a cruiserweight and it is a kind of a pollster. sent6: the chevron is a kind of a pollster if the house is a cruiserweight.
sent2 -> int1: if the fact that the classics is a kind of a Poecilocapsus hold it is postmodernist.; sent4 -> int2: the chevron is a kind of a Moscow if it is a kind of a pollster.;
the fact that the chevron is not a Moscow is correct.
$hypothesis$ = the chevron is a Moscow. ; $context$ = sent1: the house is a cruiserweight if the classics is postmodernist. sent2: if something is a Poecilocapsus it is postmodernist. sent3: if the classics is a kind of a pollster then it is postmodernist. sent4: if something is a pollster then it is a Moscow. sent5: the classics is not postmodernist if there is something such that it is not a cruiserweight and it is a kind of a pollster. sent6: the chevron is a kind of a pollster if the house is a cruiserweight. ; $proof$ = 
sent2 -> int1: if the fact that the classics is a kind of a Poecilocapsus hold it is postmodernist.; sent4 -> int2: the chevron is a kind of a Moscow if it is a kind of a pollster.; __UNKNOWN__