the souffle is not a kind of a traffic.
sent1: there exists something such that it does not doctor souffle. sent2: that the souffle is not a Andorran if the Marsh is a trainee but it is not a Andorran hold. sent3: if either something is not vice-presidential or it foreshows sweetbread or both then it is not vice-presidential. sent4: something is not a kind of a ultramontanism but it doctors Dictamnus. sent5: something is a supergrass if it wrongs. sent6: if there is something such that it doctors pocket-handkerchief the root is a wrong and it is a kind of a Praunus. sent7: the Marsh is not a Andorran if the anterior is not a Andorran. sent8: either the souffle is not vice-presidential or it does foreshow sweetbread or both if it is non-Andorran. sent9: if there exists something such that that it does not doctor souffle is true then the Marsh is a kind of a trainee and is univalent. sent10: the anterior is not a Andorran. sent11: something does doctor pocket-handkerchief and is an aesthetic if the fact that it is not vice-presidential is not incorrect. sent12: if something is a kind of a supergrass it does not hypothecate purity and it does traffic. sent13: something is a tongue and perineal. sent14: if there exists something such that it is not a kind of a tongue and is perineal then the souffle is not a traffic. sent15: the root is not a kind of a tongue but it is perineal.
sent15 -> int1: there is something such that it is not a tongue but perineal.; int1 & sent14 -> hypothesis;
the root does not hypothecate purity and is a kind of a traffic.
sent12 -> int2: if the root is a supergrass then it does not hypothecate purity and is a traffic.; sent5 -> int3: if the root is a wrong it is a supergrass.; sent11 -> int4: the souffle does doctor pocket-handkerchief and is an aesthetic if it is not vice-presidential.; sent3 -> int5: that the souffle is not vice-presidential is not wrong if it is not vice-presidential and/or it foreshows sweetbread.; sent1 & sent9 -> int6: the Marsh is a trainee and it is univalent.; int6 -> int7: that the Marsh is not a kind of a trainee is not true.; sent7 & sent10 -> int8: the Marsh is not a kind of a Andorran.; int7 & int8 -> int9: the Marsh is a kind of a trainee that is not a kind of a Andorran.; sent2 & int9 -> int10: the souffle is not a kind of a Andorran.; sent8 & int10 -> int11: the souffle is not vice-presidential or it foreshows sweetbread or both.; int5 & int11 -> int12: the souffle is non-vice-presidential.; int4 & int12 -> int13: the souffle does doctor pocket-handkerchief and is an aesthetic.; int13 -> int14: the souffle doctors pocket-handkerchief.; int14 -> int15: there is something such that that it does doctor pocket-handkerchief is right.; int15 & sent6 -> int16: the root is a kind of wrong thing that is a Praunus.; int16 -> int17: the root is a wrong.; int3 & int17 -> int18: the root is a supergrass.; int2 & int18 -> hypothesis;
$hypothesis$ = the souffle is not a kind of a traffic. ; $context$ = sent1: there exists something such that it does not doctor souffle. sent2: that the souffle is not a Andorran if the Marsh is a trainee but it is not a Andorran hold. sent3: if either something is not vice-presidential or it foreshows sweetbread or both then it is not vice-presidential. sent4: something is not a kind of a ultramontanism but it doctors Dictamnus. sent5: something is a supergrass if it wrongs. sent6: if there is something such that it doctors pocket-handkerchief the root is a wrong and it is a kind of a Praunus. sent7: the Marsh is not a Andorran if the anterior is not a Andorran. sent8: either the souffle is not vice-presidential or it does foreshow sweetbread or both if it is non-Andorran. sent9: if there exists something such that that it does not doctor souffle is true then the Marsh is a kind of a trainee and is univalent. sent10: the anterior is not a Andorran. sent11: something does doctor pocket-handkerchief and is an aesthetic if the fact that it is not vice-presidential is not incorrect. sent12: if something is a kind of a supergrass it does not hypothecate purity and it does traffic. sent13: something is a tongue and perineal. sent14: if there exists something such that it is not a kind of a tongue and is perineal then the souffle is not a traffic. sent15: the root is not a kind of a tongue but it is perineal. ; $proof$ = 
sent15 -> int1: there is something such that it is not a tongue but perineal.; int1 & sent14 -> hypothesis; __PROVED__