the old-timer is not a Amsterdam.
sent1: the presentation is a demographic if the newcomer glasses. sent2: everything is a Gretzky and it glasses. sent3: the distortionist is a kind of a cephalothin. sent4: if the fact that the presentation is a demographic and/or not a grotesque does not hold then the trochanter is not a psychology. sent5: the distortionist does not compel distortionist if it is not punctual. sent6: the newcomer is a Gretzky. sent7: if the presentation is a kind of a grotesque or does not glass or both the fact that the old-timer is a kind of a Gretzky is right. sent8: there is something such that that it does not scent Monopoly is not false. sent9: if the distortionist does not service Jespersen and does compel distortionist then the trochanter is not a shroud. sent10: if the distortionist is not punctual it does not service Jespersen and it does not compel distortionist. sent11: there exists something such that it is not a shroud and is a psychology. sent12: the fact that if the distortionist is a kind of the cephalothin then the distortionist is not punctual hold. sent13: the trochanter is not a kind of a shroud if the distortionist does not service Jespersen and it does not compel distortionist. sent14: that if the fact that the presentation is not a kind of a demographic and/or it is not a grotesque is not true then the trochanter is not a psychology hold. sent15: if there is something such that it is not a shroud and not a psychology then the old-timer is not a Amsterdam. sent16: that the presentation is not demographic or it is not a grotesque or both is not correct if the newcomer is a glass.
sent2 -> int1: the newcomer is a Gretzky and it glasses.; int1 -> int2: the newcomer is a glass.; int2 & sent16 -> int3: that the presentation is not demographic and/or it is not a grotesque is not right.; int3 & sent14 -> int4: the trochanter is not a psychology.; sent12 & sent3 -> int5: the distortionist is not punctual.; sent10 & int5 -> int6: the distortionist does not service Jespersen and does not compel distortionist.; sent13 & int6 -> int7: the trochanter does not shroud.; int4 & int7 -> int8: the trochanter is not a shroud and is not a kind of a psychology.; int8 -> int9: there exists something such that it is not a shroud and it is not a psychology.; int9 & sent15 -> hypothesis;
the old-timer is a Amsterdam.
$hypothesis$ = the old-timer is not a Amsterdam. ; $context$ = sent1: the presentation is a demographic if the newcomer glasses. sent2: everything is a Gretzky and it glasses. sent3: the distortionist is a kind of a cephalothin. sent4: if the fact that the presentation is a demographic and/or not a grotesque does not hold then the trochanter is not a psychology. sent5: the distortionist does not compel distortionist if it is not punctual. sent6: the newcomer is a Gretzky. sent7: if the presentation is a kind of a grotesque or does not glass or both the fact that the old-timer is a kind of a Gretzky is right. sent8: there is something such that that it does not scent Monopoly is not false. sent9: if the distortionist does not service Jespersen and does compel distortionist then the trochanter is not a shroud. sent10: if the distortionist is not punctual it does not service Jespersen and it does not compel distortionist. sent11: there exists something such that it is not a shroud and is a psychology. sent12: the fact that if the distortionist is a kind of the cephalothin then the distortionist is not punctual hold. sent13: the trochanter is not a kind of a shroud if the distortionist does not service Jespersen and it does not compel distortionist. sent14: that if the fact that the presentation is not a kind of a demographic and/or it is not a grotesque is not true then the trochanter is not a psychology hold. sent15: if there is something such that it is not a shroud and not a psychology then the old-timer is not a Amsterdam. sent16: that the presentation is not demographic or it is not a grotesque or both is not correct if the newcomer is a glass. ; $proof$ = 
sent2 -> int1: the newcomer is a Gretzky and it glasses.; int1 -> int2: the newcomer is a glass.; int2 & sent16 -> int3: that the presentation is not demographic and/or it is not a grotesque is not right.; int3 & sent14 -> int4: the trochanter is not a psychology.; sent12 & sent3 -> int5: the distortionist is not punctual.; sent10 & int5 -> int6: the distortionist does not service Jespersen and does not compel distortionist.; sent13 & int6 -> int7: the trochanter does not shroud.; int4 & int7 -> int8: the trochanter is not a shroud and is not a kind of a psychology.; int8 -> int9: there exists something such that it is not a shroud and it is not a psychology.; int9 & sent15 -> hypothesis; __PROVED__