the follicle does not border Salzburg.
sent1: something borders Salzburg and is not a Uma if it is prehistoric. sent2: the monocle is prehistoric if that it is both not a court and bulimic is correct. sent3: the headgear is not Olympian and does not border Salzburg. sent4: the rancher is not extensive if it is cogitative. sent5: if something that does not border lavender is a pewter then it is not cogitative. sent6: that something is not bulimic and is not a kind of a Uma is not true if that it is prehistoric is not incorrect. sent7: the monocle is not prehistoric. sent8: if the fact that either the coward is nonpregnant or it is cogitative or both is correct it does not border lavender. sent9: the chromogen is a combatant. sent10: the monocle is not prehistoric if the chromogen is not a Uma. sent11: that if the chromogen is not a kind of a Smalley and it is not the court the chromogen is not a kind of a Uma is correct. sent12: the coward is nonpregnant if the monocle is a Texan. sent13: if something is a Uma it does border Salzburg. sent14: the chromogen is both not a Smalley and not a court if the fact that the follicle borders Salzburg is not wrong. sent15: the chromogen does not court. sent16: the monocle is not a Texan if it does not border lavender and is not prehistoric. sent17: The lavender does border coward. sent18: the monocle is non-bulimic but not prehistoric if the chromogen is not a Uma. sent19: the chromogen is prehistoric if something that is nonpregnant is a kind of a Texan. sent20: the chromogen is not a court if the follicle does border Salzburg. sent21: if the follicle is a bulimic it is prehistoric. sent22: if something is not a kind of a bulimic and it is not prehistoric it is a kind of a Texan. sent23: that the monocle is not nonpregnant is true.
void -> assump1: Let's assume that the follicle does border Salzburg.; sent14 & assump1 -> int1: the chromogen is both not a Smalley and not a court.; int1 & sent11 -> int2: the chromogen is not a kind of a Uma.; int2 & sent18 -> int3: the monocle is not a bulimic and it is not prehistoric.; sent22 -> int4: if the monocle is not bulimic and it is not prehistoric it is a Texan.; int3 & int4 -> int5: the monocle is a kind of a Texan.; int5 & sent12 -> int6: the coward is nonpregnant.; int6 -> int7: the fact that the coward is nonpregnant or it is cogitative or both is true.; int7 & sent8 -> int8: the coward does not border lavender.;
the hospice is not cogitative.
sent1 -> int9: if the follicle is prehistoric it does border Salzburg and it is not a Uma.; sent23 -> int10: something is not nonpregnant.;
$hypothesis$ = the follicle does not border Salzburg. ; $context$ = sent1: something borders Salzburg and is not a Uma if it is prehistoric. sent2: the monocle is prehistoric if that it is both not a court and bulimic is correct. sent3: the headgear is not Olympian and does not border Salzburg. sent4: the rancher is not extensive if it is cogitative. sent5: if something that does not border lavender is a pewter then it is not cogitative. sent6: that something is not bulimic and is not a kind of a Uma is not true if that it is prehistoric is not incorrect. sent7: the monocle is not prehistoric. sent8: if the fact that either the coward is nonpregnant or it is cogitative or both is correct it does not border lavender. sent9: the chromogen is a combatant. sent10: the monocle is not prehistoric if the chromogen is not a Uma. sent11: that if the chromogen is not a kind of a Smalley and it is not the court the chromogen is not a kind of a Uma is correct. sent12: the coward is nonpregnant if the monocle is a Texan. sent13: if something is a Uma it does border Salzburg. sent14: the chromogen is both not a Smalley and not a court if the fact that the follicle borders Salzburg is not wrong. sent15: the chromogen does not court. sent16: the monocle is not a Texan if it does not border lavender and is not prehistoric. sent17: The lavender does border coward. sent18: the monocle is non-bulimic but not prehistoric if the chromogen is not a Uma. sent19: the chromogen is prehistoric if something that is nonpregnant is a kind of a Texan. sent20: the chromogen is not a court if the follicle does border Salzburg. sent21: if the follicle is a bulimic it is prehistoric. sent22: if something is not a kind of a bulimic and it is not prehistoric it is a kind of a Texan. sent23: that the monocle is not nonpregnant is true. ; $proof$ = 
void -> assump1: Let's assume that the follicle does border Salzburg.; sent14 & assump1 -> int1: the chromogen is both not a Smalley and not a court.; int1 & sent11 -> int2: the chromogen is not a kind of a Uma.; int2 & sent18 -> int3: the monocle is not a bulimic and it is not prehistoric.; sent22 -> int4: if the monocle is not bulimic and it is not prehistoric it is a Texan.; int3 & int4 -> int5: the monocle is a kind of a Texan.; int5 & sent12 -> int6: the coward is nonpregnant.; int6 -> int7: the fact that the coward is nonpregnant or it is cogitative or both is true.; int7 & sent8 -> int8: the coward does not border lavender.; __UNKNOWN__