the yard does not distrain and it is not pediatric.
sent1: the fact that the sodom is not a Taoist but it is possessive is not correct if it underwrites bran. sent2: the print is not exocentric but it does extend Fijis if the coconut is leprous. sent3: the sodom does underwrite bran. sent4: the sodom is Taoist if that it is both not a Taoist and not non-possessive is wrong. sent5: the apishamore is a kind of an alcoholic but it is not allographic. sent6: if that the apishamore is exocentric hold the print is an exhortation. sent7: if the print is an exhortation then the yard does not distrain and is not pediatric. sent8: if the fact that the fact that something is both not Kiplingesque and not a colorimeter is correct is not right then it is leprous. sent9: if something does not underwrite dormitory the fact that it is not Kiplingesque and it is not a colorimeter does not hold. sent10: the fact that the coconut is leprous is not incorrect if the sardonyx is leprous. sent11: something does not underwrite dormitory if it is either premenstrual or not a stillroom or both. sent12: if there is something such that that it is Taoist hold the sardonyx is premenstrual. sent13: that the yard does not distrain and it is not pediatric is not true if the apishamore is not a kind of an exhortation. sent14: the apishamore is exocentric if it is an alcoholic and it is not allographic. sent15: if the print is an exhortation the yard is non-pediatric.
sent14 & sent5 -> int1: that the apishamore is exocentric is not wrong.; sent6 & int1 -> int2: the print is an exhortation.; sent7 & int2 -> hypothesis;
that the yard does not distrain and is not pediatric does not hold.
sent8 -> int3: the sardonyx is leprous if the fact that it is not Kiplingesque and it is not a kind of a colorimeter does not hold.; sent9 -> int4: that the sardonyx is non-Kiplingesque thing that is not a colorimeter is incorrect if it does not underwrite dormitory.; sent11 -> int5: if the sardonyx is premenstrual and/or it is not a kind of a stillroom then it does not underwrite dormitory.; sent1 & sent3 -> int6: that the sodom is not a kind of a Taoist but it is possessive does not hold.; sent4 & int6 -> int7: the sodom is a Taoist.; int7 -> int8: there exists something such that it is a Taoist.; int8 & sent12 -> int9: the fact that the sardonyx is premenstrual is not wrong.; int9 -> int10: the sardonyx either is premenstrual or is not a kind of a stillroom or both.; int5 & int10 -> int11: the sardonyx does not underwrite dormitory.; int4 & int11 -> int12: the fact that the sardonyx is non-Kiplingesque but not a colorimeter does not hold.; int3 & int12 -> int13: the sardonyx is leprous.; sent10 & int13 -> int14: the coconut is leprous.; sent2 & int14 -> int15: the print is not exocentric but it extends Fijis.; int15 -> int16: there is something such that it is non-exocentric thing that extends Fijis.;
$hypothesis$ = the yard does not distrain and it is not pediatric. ; $context$ = sent1: the fact that the sodom is not a Taoist but it is possessive is not correct if it underwrites bran. sent2: the print is not exocentric but it does extend Fijis if the coconut is leprous. sent3: the sodom does underwrite bran. sent4: the sodom is Taoist if that it is both not a Taoist and not non-possessive is wrong. sent5: the apishamore is a kind of an alcoholic but it is not allographic. sent6: if that the apishamore is exocentric hold the print is an exhortation. sent7: if the print is an exhortation then the yard does not distrain and is not pediatric. sent8: if the fact that the fact that something is both not Kiplingesque and not a colorimeter is correct is not right then it is leprous. sent9: if something does not underwrite dormitory the fact that it is not Kiplingesque and it is not a colorimeter does not hold. sent10: the fact that the coconut is leprous is not incorrect if the sardonyx is leprous. sent11: something does not underwrite dormitory if it is either premenstrual or not a stillroom or both. sent12: if there is something such that that it is Taoist hold the sardonyx is premenstrual. sent13: that the yard does not distrain and it is not pediatric is not true if the apishamore is not a kind of an exhortation. sent14: the apishamore is exocentric if it is an alcoholic and it is not allographic. sent15: if the print is an exhortation the yard is non-pediatric. ; $proof$ = 
sent14 & sent5 -> int1: that the apishamore is exocentric is not wrong.; sent6 & int1 -> int2: the print is an exhortation.; sent7 & int2 -> hypothesis; __PROVED__