the superintendent is not a colonnaded and it is not a kind of a foam.
sent1: the carpetbag is a colonnaded. sent2: if something proposes locule it is a Philistine. sent3: the shipper is a kind of a musical. sent4: the carpetbag is not non-menstrual if there is something such that that it is impenitent thing that is not a casino is false. sent5: if the superintendent is either a musical or a foam or both it does not propose locule. sent6: there is something such that that it is a kind of a foam and it is not a colonnaded is wrong. sent7: the superintendent is not a kind of a musical. sent8: the burden is a Philistine if the fact that the superintendent is both a foam and not a Philistine is not right. sent9: there is something such that it proposes NMR and is not a kind of a spirometry. sent10: there is something such that that it is impenitent and it is a casino does not hold. sent11: if there is something such that it does propose Zanuck then the locule proposes carpetbag. sent12: the carpetbag is a kind of a SOD. sent13: the carpetbag is a colonnaded if it is menstrual. sent14: there exists something such that that it belongs and it is a mandarin is not right. sent15: if the superintendent is not a kind of a Philistine the carpetbag is not a Philistine. sent16: something that is a kind of a foam does propose locule. sent17: the superintendent is impenitent. sent18: there exists something such that the fact that it is impenitent and is not a kind of a casino does not hold. sent19: something is not menstrual if the fact that it is a Philistine and/or a musical is correct. sent20: the fishnet is a Philistine.
sent16 -> int1: if the carpetbag is a foam then it proposes locule.; void -> assump1: Let's assume that the carpetbag foams.; int1 & assump1 -> int2: the carpetbag does propose locule.; sent2 -> int3: if the carpetbag does propose locule then it is a kind of a Philistine.; int2 & int3 -> int4: the carpetbag is a kind of a Philistine.; int4 -> int5: the carpetbag is Philistine and/or it is a kind of a musical.; sent19 -> int6: if either the carpetbag is a Philistine or it is a musical or both then it is not menstrual.; int5 & int6 -> int7: the carpetbag is not menstrual.; sent18 & sent4 -> int8: the carpetbag is menstrual.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the carpetbag is not a foam.;
the fact that the burden is a Philistine hold.
$hypothesis$ = the superintendent is not a colonnaded and it is not a kind of a foam. ; $context$ = sent1: the carpetbag is a colonnaded. sent2: if something proposes locule it is a Philistine. sent3: the shipper is a kind of a musical. sent4: the carpetbag is not non-menstrual if there is something such that that it is impenitent thing that is not a casino is false. sent5: if the superintendent is either a musical or a foam or both it does not propose locule. sent6: there is something such that that it is a kind of a foam and it is not a colonnaded is wrong. sent7: the superintendent is not a kind of a musical. sent8: the burden is a Philistine if the fact that the superintendent is both a foam and not a Philistine is not right. sent9: there is something such that it proposes NMR and is not a kind of a spirometry. sent10: there is something such that that it is impenitent and it is a casino does not hold. sent11: if there is something such that it does propose Zanuck then the locule proposes carpetbag. sent12: the carpetbag is a kind of a SOD. sent13: the carpetbag is a colonnaded if it is menstrual. sent14: there exists something such that that it belongs and it is a mandarin is not right. sent15: if the superintendent is not a kind of a Philistine the carpetbag is not a Philistine. sent16: something that is a kind of a foam does propose locule. sent17: the superintendent is impenitent. sent18: there exists something such that the fact that it is impenitent and is not a kind of a casino does not hold. sent19: something is not menstrual if the fact that it is a Philistine and/or a musical is correct. sent20: the fishnet is a Philistine. ; $proof$ = 
sent16 -> int1: if the carpetbag is a foam then it proposes locule.; void -> assump1: Let's assume that the carpetbag foams.; int1 & assump1 -> int2: the carpetbag does propose locule.; sent2 -> int3: if the carpetbag does propose locule then it is a kind of a Philistine.; int2 & int3 -> int4: the carpetbag is a kind of a Philistine.; int4 -> int5: the carpetbag is Philistine and/or it is a kind of a musical.; sent19 -> int6: if either the carpetbag is a Philistine or it is a musical or both then it is not menstrual.; int5 & int6 -> int7: the carpetbag is not menstrual.; sent18 & sent4 -> int8: the carpetbag is menstrual.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the carpetbag is not a foam.; __UNKNOWN__