the cloakroom is not interlinear.
sent1: the fact that the citronwood is a kind of a frontier but it is not an armored is not true. sent2: the fact that the consul is a kind of an armored is correct. sent3: something is a kind of a frontier if it is not a mistletoe and it does chomp. sent4: the fact that the consul is not a cytosine and does not armor is not true. sent5: the consul does not dance frond but it does twang. sent6: the fact that the citronwood is not a frontier and not an armored is false if the boardroom is a frontier. sent7: the fact that the boardroom is a frontier but not a skedaddle is not correct. sent8: something is not omnivorous. sent9: something is omnivorous and it is interlinear if it is not a mistletoe. sent10: if there exists something such that it is not a frontier then the boardroom is not a kind of a cytosine. sent11: if something is not negative then it does skedaddle and it is prodromal. sent12: everything is not a negative. sent13: the consul is a frontier. sent14: the cloakroom is not interlinear if the consul is a skedaddle and it is a cytosine. sent15: that the boardroom is a cytosine but it is not a negative does not hold if the consul is a cytosine. sent16: the consul is omnivorous. sent17: there exists something such that it is not puerperal. sent18: the boardroom is not a kind of a mistletoe but it does chomp if there are non-omnivorous things. sent19: if something is not a frontier and is a cytosine then it is interlinear. sent20: the boardroom is not non-propagandist. sent21: if that something is a mistletoe and it chomps is incorrect then it is not a kind of a mistletoe. sent22: the fact that the citronwood does not armor but it is a negative is wrong. sent23: the citronwood is not a frontier but a mistletoe. sent24: there is something such that it is operationalist. sent25: the consul is a cytosine if the fact that the citronwood is not a frontier and it is not an armored is incorrect.
sent8 & sent18 -> int1: the boardroom is not a mistletoe but it chomps.; sent3 -> int2: if the boardroom is not a mistletoe but it chomps it is a frontier.; int1 & int2 -> int3: the boardroom is a frontier.; int3 & sent6 -> int4: that the citronwood is not a frontier and not an armored is false.; int4 & sent25 -> int5: the consul is a cytosine.; sent11 -> int6: that the consul is a skedaddle and prodromal is right if it is not a kind of a negative.; sent12 -> int7: the consul is not a negative.; int6 & int7 -> int8: the consul skedaddles and it is prodromal.; int8 -> int9: the consul skedaddles.; int5 & int9 -> int10: the consul does skedaddle and it is a kind of a cytosine.; int10 & sent14 -> hypothesis;
the cloakroom is interlinear.
sent9 -> int11: the cloakroom is omnivorous and it is interlinear if it is not a mistletoe.; sent21 -> int12: if that the cloakroom is a mistletoe and it does chomp is not right then it is not a kind of a mistletoe.;
$hypothesis$ = the cloakroom is not interlinear. ; $context$ = sent1: the fact that the citronwood is a kind of a frontier but it is not an armored is not true. sent2: the fact that the consul is a kind of an armored is correct. sent3: something is a kind of a frontier if it is not a mistletoe and it does chomp. sent4: the fact that the consul is not a cytosine and does not armor is not true. sent5: the consul does not dance frond but it does twang. sent6: the fact that the citronwood is not a frontier and not an armored is false if the boardroom is a frontier. sent7: the fact that the boardroom is a frontier but not a skedaddle is not correct. sent8: something is not omnivorous. sent9: something is omnivorous and it is interlinear if it is not a mistletoe. sent10: if there exists something such that it is not a frontier then the boardroom is not a kind of a cytosine. sent11: if something is not negative then it does skedaddle and it is prodromal. sent12: everything is not a negative. sent13: the consul is a frontier. sent14: the cloakroom is not interlinear if the consul is a skedaddle and it is a cytosine. sent15: that the boardroom is a cytosine but it is not a negative does not hold if the consul is a cytosine. sent16: the consul is omnivorous. sent17: there exists something such that it is not puerperal. sent18: the boardroom is not a kind of a mistletoe but it does chomp if there are non-omnivorous things. sent19: if something is not a frontier and is a cytosine then it is interlinear. sent20: the boardroom is not non-propagandist. sent21: if that something is a mistletoe and it chomps is incorrect then it is not a kind of a mistletoe. sent22: the fact that the citronwood does not armor but it is a negative is wrong. sent23: the citronwood is not a frontier but a mistletoe. sent24: there is something such that it is operationalist. sent25: the consul is a cytosine if the fact that the citronwood is not a frontier and it is not an armored is incorrect. ; $proof$ = 
sent8 & sent18 -> int1: the boardroom is not a mistletoe but it chomps.; sent3 -> int2: if the boardroom is not a mistletoe but it chomps it is a frontier.; int1 & int2 -> int3: the boardroom is a frontier.; int3 & sent6 -> int4: that the citronwood is not a frontier and not an armored is false.; int4 & sent25 -> int5: the consul is a cytosine.; sent11 -> int6: that the consul is a skedaddle and prodromal is right if it is not a kind of a negative.; sent12 -> int7: the consul is not a negative.; int6 & int7 -> int8: the consul skedaddles and it is prodromal.; int8 -> int9: the consul skedaddles.; int5 & int9 -> int10: the consul does skedaddle and it is a kind of a cytosine.; int10 & sent14 -> hypothesis; __PROVED__