the Hamlet is a Pyxis.
sent1: either something is frictional or it does not blacktop or both if it is a Brahmanism. sent2: the walkie-talkie blacktops if the housekeeper is both a Brahmanism and frictional. sent3: the Hamlet is a kind of a Pyxis if the corticosterone is basophilic. sent4: if something is both not a piperocaine and not discernible it is non-antemeridian. sent5: the Hamlet is not a kind of a piperocaine. sent6: if the fact that the walkie-talkie does not individuate UNICEF is not false then it is basophilic and conscious. sent7: the fact that something is not no-go and does not blacktop is not correct if it is frictional. sent8: there is something such that the fact that it is not a cardioid is not wrong. sent9: if the corticosterone is not frictional the housekeeper is frictional. sent10: the Hamlet is not a Pyxis if the housekeeper is frictional or it is not a blacktop or both. sent11: if that something is not a piperocaine and it is not discernible does not hold then the fact that it is not frictional is not wrong. sent12: the housekeeper is a kind of a Brahmanism but it is not frictional if the corticosterone is not frictional. sent13: the Labour does not blacktop. sent14: if the corticosterone is not antemeridian it is basophilic. sent15: the walkie-talkie does not individuate UNICEF if that either the snakewood is not a Malathion or it individuate UNICEF or both is not right. sent16: if something that is antemeridian is not a Brahmanism the corticosterone is frictional. sent17: the walkie-talkie is a kind of a blacktop if the housekeeper is a kind of a Brahmanism but it is not frictional.
sent11 -> int1: the corticosterone is not frictional if the fact that it is not a kind of a piperocaine and it is not discernible does not hold.; void -> assump1: Let's assume that the fact that the corticosterone is not a piperocaine and it is not discernible is not correct.; int1 & assump1 -> int2: the corticosterone is not frictional.; int2 & sent12 -> int3: the housekeeper is a Brahmanism but it is not frictional.; int3 & sent17 -> int4: the walkie-talkie is a blacktop.; sent4 -> int5: the corticosterone is not antemeridian if it is not a piperocaine and it is not discernible.;
the Hamlet is not a Pyxis.
sent1 -> int6: if the housekeeper is a Brahmanism either it is frictional or it is not a blacktop or both.;
$hypothesis$ = the Hamlet is a Pyxis. ; $context$ = sent1: either something is frictional or it does not blacktop or both if it is a Brahmanism. sent2: the walkie-talkie blacktops if the housekeeper is both a Brahmanism and frictional. sent3: the Hamlet is a kind of a Pyxis if the corticosterone is basophilic. sent4: if something is both not a piperocaine and not discernible it is non-antemeridian. sent5: the Hamlet is not a kind of a piperocaine. sent6: if the fact that the walkie-talkie does not individuate UNICEF is not false then it is basophilic and conscious. sent7: the fact that something is not no-go and does not blacktop is not correct if it is frictional. sent8: there is something such that the fact that it is not a cardioid is not wrong. sent9: if the corticosterone is not frictional the housekeeper is frictional. sent10: the Hamlet is not a Pyxis if the housekeeper is frictional or it is not a blacktop or both. sent11: if that something is not a piperocaine and it is not discernible does not hold then the fact that it is not frictional is not wrong. sent12: the housekeeper is a kind of a Brahmanism but it is not frictional if the corticosterone is not frictional. sent13: the Labour does not blacktop. sent14: if the corticosterone is not antemeridian it is basophilic. sent15: the walkie-talkie does not individuate UNICEF if that either the snakewood is not a Malathion or it individuate UNICEF or both is not right. sent16: if something that is antemeridian is not a Brahmanism the corticosterone is frictional. sent17: the walkie-talkie is a kind of a blacktop if the housekeeper is a kind of a Brahmanism but it is not frictional. ; $proof$ = 
sent11 -> int1: the corticosterone is not frictional if the fact that it is not a kind of a piperocaine and it is not discernible does not hold.; void -> assump1: Let's assume that the fact that the corticosterone is not a piperocaine and it is not discernible is not correct.; int1 & assump1 -> int2: the corticosterone is not frictional.; int2 & sent12 -> int3: the housekeeper is a Brahmanism but it is not frictional.; int3 & sent17 -> int4: the walkie-talkie is a blacktop.; sent4 -> int5: the corticosterone is not antemeridian if it is not a piperocaine and it is not discernible.; __UNKNOWN__