the anchorage is not an interlocutor.
sent1: the anchorage is not nonrepresentational. sent2: the anchorage does help. sent3: the toadflax is not an interlocutor. sent4: if something that does slog telephotography slogs size it is not a kind of an interlocutor. sent5: the anchorage is a intumescence. sent6: the perforation is a cargo. sent7: the anchorage does not debase if it is a slop that does slog stereoscope. sent8: the anchorage does slog telephotography and it helps. sent9: the tanka is an interlocutor. sent10: that the anchorage does not slog telephotography and does not help does not hold if the things slogs size. sent11: the anchorage does slog size and is not a cargo. sent12: something helps and does slog telephotography if it does not slog size. sent13: the anchorage does bottom. sent14: the auricle does book Leninism and it helps. sent15: the anchorage is not a kind of a cargo. sent16: the size is diachronic and it is a kind of a cargo.
sent8 -> int1: the anchorage does slog telephotography.; sent11 -> int2: the anchorage slogs size.; int1 & int2 -> int3: the anchorage slogs telephotography and it slogs size.; sent4 -> int4: if the anchorage slogs telephotography and it does slog size it is not an interlocutor.; int3 & int4 -> hypothesis;
the anchorage is an interlocutor.
$hypothesis$ = the anchorage is not an interlocutor. ; $context$ = sent1: the anchorage is not nonrepresentational. sent2: the anchorage does help. sent3: the toadflax is not an interlocutor. sent4: if something that does slog telephotography slogs size it is not a kind of an interlocutor. sent5: the anchorage is a intumescence. sent6: the perforation is a cargo. sent7: the anchorage does not debase if it is a slop that does slog stereoscope. sent8: the anchorage does slog telephotography and it helps. sent9: the tanka is an interlocutor. sent10: that the anchorage does not slog telephotography and does not help does not hold if the things slogs size. sent11: the anchorage does slog size and is not a cargo. sent12: something helps and does slog telephotography if it does not slog size. sent13: the anchorage does bottom. sent14: the auricle does book Leninism and it helps. sent15: the anchorage is not a kind of a cargo. sent16: the size is diachronic and it is a kind of a cargo. ; $proof$ = 
sent8 -> int1: the anchorage does slog telephotography.; sent11 -> int2: the anchorage slogs size.; int1 & int2 -> int3: the anchorage slogs telephotography and it slogs size.; sent4 -> int4: if the anchorage slogs telephotography and it does slog size it is not an interlocutor.; int3 & int4 -> hypothesis; __PROVED__