the diet does not pair override.
sent1: if something does swim poet then it witnesses. sent2: there is something such that that it is not a kind of an impromptu and it does swim alpha-adrenoceptor is not right. sent3: if something does not swim poet it is a kind of a BLT that is a kind of a Geisel. sent4: the cyclist does not swim poet if that the mock-up does not swim poet and/or is an updraft hold. sent5: if the mock-up is a BLT the necklace does swim poet. sent6: if the cyclist is not a BLT then the mock-up is a BLT but it is not a Geisel. sent7: the cyclist is not a kind of a BLT if there is something such that the fact that it is not an impromptu and it swims alpha-adrenoceptor is incorrect. sent8: the necklace does sail and it is an updraft. sent9: the diet does not pair override if the necklace is a kind of a witness and it is an updraft. sent10: that the fact that something is not a capture but a dinky is not wrong is wrong if it is a BLT.
sent2 & sent7 -> int1: the cyclist is not a BLT.; int1 & sent6 -> int2: the mock-up is a BLT and is not a Geisel.; int2 -> int3: the mock-up is a kind of a BLT.; int3 & sent5 -> int4: the necklace swims poet.; sent1 -> int5: the necklace is a witness if it swims poet.; int4 & int5 -> int6: the necklace does witness.; sent8 -> int7: the necklace is an updraft.; int6 & int7 -> int8: the necklace is a witness and it is an updraft.; int8 & sent9 -> hypothesis;
there is something such that that it is both not a capture and a dinky is not true.
sent10 -> int9: if that the cyclist is a BLT is not wrong then that it is not a capture and it is a dinky is not true.; sent3 -> int10: the cyclist is a BLT that is a kind of a Geisel if it does not swim poet.;
$hypothesis$ = the diet does not pair override. ; $context$ = sent1: if something does swim poet then it witnesses. sent2: there is something such that that it is not a kind of an impromptu and it does swim alpha-adrenoceptor is not right. sent3: if something does not swim poet it is a kind of a BLT that is a kind of a Geisel. sent4: the cyclist does not swim poet if that the mock-up does not swim poet and/or is an updraft hold. sent5: if the mock-up is a BLT the necklace does swim poet. sent6: if the cyclist is not a BLT then the mock-up is a BLT but it is not a Geisel. sent7: the cyclist is not a kind of a BLT if there is something such that the fact that it is not an impromptu and it swims alpha-adrenoceptor is incorrect. sent8: the necklace does sail and it is an updraft. sent9: the diet does not pair override if the necklace is a kind of a witness and it is an updraft. sent10: that the fact that something is not a capture but a dinky is not wrong is wrong if it is a BLT. ; $proof$ = 
sent2 & sent7 -> int1: the cyclist is not a BLT.; int1 & sent6 -> int2: the mock-up is a BLT and is not a Geisel.; int2 -> int3: the mock-up is a kind of a BLT.; int3 & sent5 -> int4: the necklace swims poet.; sent1 -> int5: the necklace is a witness if it swims poet.; int4 & int5 -> int6: the necklace does witness.; sent8 -> int7: the necklace is an updraft.; int6 & int7 -> int8: the necklace is a witness and it is an updraft.; int8 & sent9 -> hypothesis; __PROVED__