there is something such that if it squires crushing then it is not Flemish.
sent1: the fact that the chimneypot is a Florentine and it mortifies does not hold. sent2: if that the chimneypot is a kind of Florentine thing that does mortify is incorrect that the scratch is territorial is not false. sent3: if the chimneypot does not mortify then the scratch is not nonterritorial.
sent2 & sent1 -> int1: the scratch is not nonterritorial.; void -> assump1: Let's assume that the scratch does squire crushing.; int1 & assump1 -> int2: the scratch is not nonterritorial but it does squire crushing.;
$hypothesis$ = there is something such that if it squires crushing then it is not Flemish. ; $context$ = sent1: the fact that the chimneypot is a Florentine and it mortifies does not hold. sent2: if that the chimneypot is a kind of Florentine thing that does mortify is incorrect that the scratch is territorial is not false. sent3: if the chimneypot does not mortify then the scratch is not nonterritorial. ; $proof$ = 
sent2 & sent1 -> int1: the scratch is not nonterritorial.; void -> assump1: Let's assume that the scratch does squire crushing.; int1 & assump1 -> int2: the scratch is not nonterritorial but it does squire crushing.; __UNKNOWN__