that the pout is not a miserliness and finishes Somali does not hold if the bitter is a Manchester.
sent1: if the pout does not finish Tapirus that it is not a kind of a miserliness and finishes Somali is wrong. sent2: if there are non-adoptive things then the bitter is both a fiance and meaningful. sent3: if something is not a first-nighter the fact that it is not meaningful and it is a kind of a checkbook is false. sent4: there is something such that it is not adoptive.
sent4 & sent2 -> int1: the bitter is a fiance and is meaningful.; int1 -> int2: the bitter is a kind of a fiance.; void -> assump1: Let's assume that the fact that the bitter is a kind of a Manchester is not wrong.; int2 & assump1 -> int3: the bitter is a fiance and it is a Manchester.;
that the cornsilk is not meaningful and is a kind of a checkbook is false if it is not a kind of a first-nighter.
sent3 -> hypothesis;
$hypothesis$ = that the pout is not a miserliness and finishes Somali does not hold if the bitter is a Manchester. ; $context$ = sent1: if the pout does not finish Tapirus that it is not a kind of a miserliness and finishes Somali is wrong. sent2: if there are non-adoptive things then the bitter is both a fiance and meaningful. sent3: if something is not a first-nighter the fact that it is not meaningful and it is a kind of a checkbook is false. sent4: there is something such that it is not adoptive. ; $proof$ = 
sent4 & sent2 -> int1: the bitter is a fiance and is meaningful.; int1 -> int2: the bitter is a kind of a fiance.; void -> assump1: Let's assume that the fact that the bitter is a kind of a Manchester is not wrong.; int2 & assump1 -> int3: the bitter is a fiance and it is a Manchester.; __UNKNOWN__