the ligament is not a Donne.
sent1: if the football is both a fifteen and not a generation then it is algebraic. sent2: the platyrrhine is incautious if the football is not non-algebraic. sent3: if the pea-souper is both a saint and a cowboy the fact that the ligament is not a Donne is right. sent4: the pea-souper is titular. sent5: the fact that the football is not incautious and not a saint is not right if the platyrrhine is not algebraic. sent6: that the football is not a kind of a Donne is not wrong if there exists something such that it is not a Donne and/or it is not locker-room. sent7: the football is a fifteen and is not a generation. sent8: if something is not a kind of a Jamaican it is not a Donne and/or it is not locker-room. sent9: if the platyrrhine is incautious the fact that the pea-souper is a kind of a saint hold. sent10: if the fact that something is both cautious and not a saint is not correct it is cautious. sent11: the platyrrhine is not Jamaican if something that is a Allegheny is not interlinear. sent12: if that something is a saint is right it is incautious. sent13: the pea-souper is a kind of a cowboy. sent14: if something is not a Donne it is not a cowboy. sent15: the platyrrhine is not a Donne. sent16: if the pea-souper is titular the fact that it is a Allegheny and it is not interlinear is not incorrect. sent17: the cheek is a saint and/or it is algebraic if there exists something such that it is not a kind of a cowboy. sent18: the football is a fifteen. sent19: something is not cautious if it is algebraic.
sent1 & sent7 -> int1: the football is algebraic.; int1 & sent2 -> int2: the platyrrhine is incautious.; int2 & sent9 -> int3: the pea-souper is a kind of a saint.; int3 & sent13 -> int4: the pea-souper is a kind of a saint that is a kind of a cowboy.; int4 & sent3 -> hypothesis;
the cheek is incautious.
sent14 -> int5: the football is not a cowboy if it is not a kind of a Donne.; sent8 -> int6: the platyrrhine is not a Donne and/or it is not locker-room if the fact that it is not a Jamaican is not incorrect.; sent16 & sent4 -> int7: the pea-souper is a Allegheny and is not interlinear.; int7 -> int8: something is a kind of a Allegheny but it is not interlinear.; int8 & sent11 -> int9: the platyrrhine is non-Jamaican.; int6 & int9 -> int10: either the platyrrhine is not a Donne or it is not locker-room or both.; int10 -> int11: there exists something such that it is not a Donne and/or it is not locker-room.; int11 & sent6 -> int12: the football is not a Donne.; int5 & int12 -> int13: the football is not a cowboy.; int13 -> int14: there exists something such that it is not a cowboy.; int14 & sent17 -> int15: the cheek is a kind of a saint or is algebraic or both.; sent12 -> int16: the cheek is incautious if it is a saint.; sent19 -> int17: the cheek is incautious if it is algebraic.; int15 & int16 & int17 -> hypothesis;
$hypothesis$ = the ligament is not a Donne. ; $context$ = sent1: if the football is both a fifteen and not a generation then it is algebraic. sent2: the platyrrhine is incautious if the football is not non-algebraic. sent3: if the pea-souper is both a saint and a cowboy the fact that the ligament is not a Donne is right. sent4: the pea-souper is titular. sent5: the fact that the football is not incautious and not a saint is not right if the platyrrhine is not algebraic. sent6: that the football is not a kind of a Donne is not wrong if there exists something such that it is not a Donne and/or it is not locker-room. sent7: the football is a fifteen and is not a generation. sent8: if something is not a kind of a Jamaican it is not a Donne and/or it is not locker-room. sent9: if the platyrrhine is incautious the fact that the pea-souper is a kind of a saint hold. sent10: if the fact that something is both cautious and not a saint is not correct it is cautious. sent11: the platyrrhine is not Jamaican if something that is a Allegheny is not interlinear. sent12: if that something is a saint is right it is incautious. sent13: the pea-souper is a kind of a cowboy. sent14: if something is not a Donne it is not a cowboy. sent15: the platyrrhine is not a Donne. sent16: if the pea-souper is titular the fact that it is a Allegheny and it is not interlinear is not incorrect. sent17: the cheek is a saint and/or it is algebraic if there exists something such that it is not a kind of a cowboy. sent18: the football is a fifteen. sent19: something is not cautious if it is algebraic. ; $proof$ = 
sent1 & sent7 -> int1: the football is algebraic.; int1 & sent2 -> int2: the platyrrhine is incautious.; int2 & sent9 -> int3: the pea-souper is a kind of a saint.; int3 & sent13 -> int4: the pea-souper is a kind of a saint that is a kind of a cowboy.; int4 & sent3 -> hypothesis; __PROVED__