the Alexandrian is not a reservoir.
sent1: that the Pound is not a kind of a bathysphere and does not supple Sol is wrong. sent2: the dissociation does supple napping. sent3: the cirrostratus is not a selfishness if the Pound is representational and a dunk. sent4: the cirrostratus is not a program if it is not a kind of a selfishness. sent5: if something is not a selfishness then that it either is a program or does not supple Sol or both is wrong. sent6: the Pound is not representational if it is a collimator or it is not representational or both. sent7: if that that the cirrostratus is a program and/or not a collimator is false is not incorrect the Alexandrian is a reservoir. sent8: that the cirrostratus is frivolous is not false. sent9: the fact that the Pound is not a kind of a bathysphere but it does supple Sol is not true. sent10: if that the Pound is not a bathysphere and it does not supple Sol is not right it is representational. sent11: the fact that either the Pound is a kind of a collimator or it is not representational or both hold if it is not a program. sent12: the Alexandrian is a dunk if the Pound is not a dunk and it is nonrepresentational. sent13: if something is not a kind of a selfishness then that it either is a kind of a program or is not a kind of a collimator or both is wrong. sent14: if the Pound does supple Sol it is representational. sent15: if something does dunk it is not a reservoir. sent16: if something does supple napping then the fact that the cirrostratus is a selfishness and is a kind of a dunk is wrong. sent17: the fact that the licensee does not supple frustum and/or does not swim delavirdine is not true if the authorizer is not chromosomal. sent18: the fact that the foe is not a kind of a reservoir hold. sent19: the cirrostratus is not a kind of a program. sent20: the Pound supples frustum and it dunks.
sent10 & sent1 -> int1: the Pound is representational.; sent20 -> int2: the Pound does dunk.; int1 & int2 -> int3: the Pound is representational thing that is a dunk.; int3 & sent3 -> int4: the cirrostratus is not a selfishness.; sent13 -> int5: if the cirrostratus is not a selfishness then the fact that either it is a program or it is not a kind of a collimator or both does not hold.; int4 & int5 -> int6: the fact that the cirrostratus either is a kind of a program or is not a collimator or both is wrong.; int6 & sent7 -> hypothesis;
the Alexandrian is not a reservoir.
sent15 -> int7: the Alexandrian is not a reservoir if it is a dunk.; sent2 -> int8: something does supple napping.; int8 & sent16 -> int9: that the cirrostratus is both a selfishness and a dunk is incorrect.;
$hypothesis$ = the Alexandrian is not a reservoir. ; $context$ = sent1: that the Pound is not a kind of a bathysphere and does not supple Sol is wrong. sent2: the dissociation does supple napping. sent3: the cirrostratus is not a selfishness if the Pound is representational and a dunk. sent4: the cirrostratus is not a program if it is not a kind of a selfishness. sent5: if something is not a selfishness then that it either is a program or does not supple Sol or both is wrong. sent6: the Pound is not representational if it is a collimator or it is not representational or both. sent7: if that that the cirrostratus is a program and/or not a collimator is false is not incorrect the Alexandrian is a reservoir. sent8: that the cirrostratus is frivolous is not false. sent9: the fact that the Pound is not a kind of a bathysphere but it does supple Sol is not true. sent10: if that the Pound is not a bathysphere and it does not supple Sol is not right it is representational. sent11: the fact that either the Pound is a kind of a collimator or it is not representational or both hold if it is not a program. sent12: the Alexandrian is a dunk if the Pound is not a dunk and it is nonrepresentational. sent13: if something is not a kind of a selfishness then that it either is a kind of a program or is not a kind of a collimator or both is wrong. sent14: if the Pound does supple Sol it is representational. sent15: if something does dunk it is not a reservoir. sent16: if something does supple napping then the fact that the cirrostratus is a selfishness and is a kind of a dunk is wrong. sent17: the fact that the licensee does not supple frustum and/or does not swim delavirdine is not true if the authorizer is not chromosomal. sent18: the fact that the foe is not a kind of a reservoir hold. sent19: the cirrostratus is not a kind of a program. sent20: the Pound supples frustum and it dunks. ; $proof$ = 
sent10 & sent1 -> int1: the Pound is representational.; sent20 -> int2: the Pound does dunk.; int1 & int2 -> int3: the Pound is representational thing that is a dunk.; int3 & sent3 -> int4: the cirrostratus is not a selfishness.; sent13 -> int5: if the cirrostratus is not a selfishness then the fact that either it is a program or it is not a kind of a collimator or both does not hold.; int4 & int5 -> int6: the fact that the cirrostratus either is a kind of a program or is not a collimator or both is wrong.; int6 & sent7 -> hypothesis; __DISPROVED__