the woodworm does hoodoo shopkeeper and/or does down cheat if the boatbuilder is not vice-presidential.
sent1: something hoodoos shopkeeper if that it is Huxleyan is not incorrect. sent2: if the convector is economics then the woodworm does down cheat. sent3: the cytoplasm does not hoodoo cytoplasm if it does not down convector and is not a whoremaster. sent4: the convector is Huxleyan if the woodworm does sow. sent5: something does not down cheat if that it is economics and is not vice-presidential is not true. sent6: the boatbuilder is Huxleyan if the fact that the convector is Huxleyan is correct. sent7: if the fact that the boatbuilder is Huxleyan hold then the Sicilian is Huxleyan. sent8: the cytoplasm does space. sent9: the cytoplasm is a defiance. sent10: if something does space and it does photosensitize jog then it is not a cadet. sent11: the fact that something is economics but not vice-presidential does not hold if that it does hoodoo shopkeeper is not wrong. sent12: if something is not a cadet and it does not hoodoo cytoplasm the woodworm is a sow. sent13: the cytoplasm does photosensitize jog. sent14: if something is a defiance then it does not down convector and is not a whoremaster.
the Sicilian does not down cheat.
sent5 -> int1: the Sicilian does not down cheat if the fact that it is economics but not vice-presidential is false.; sent11 -> int2: the fact that the fact that the Sicilian is a kind of economics thing that is not vice-presidential is true does not hold if it hoodoos shopkeeper.; sent1 -> int3: if that the Sicilian is Huxleyan hold it does hoodoo shopkeeper.; sent10 -> int4: that the cytoplasm is not the cadet if the cytoplasm is a spaced and photosensitizes jog is not incorrect.; sent8 & sent13 -> int5: the cytoplasm spaces and it does photosensitize jog.; int4 & int5 -> int6: that the cytoplasm is not a cadet is right.; sent14 -> int7: if the cytoplasm is a defiance it does not down convector and it is not a kind of a whoremaster.; int7 & sent9 -> int8: the cytoplasm does not down convector and is not a whoremaster.; sent3 & int8 -> int9: that the cytoplasm does not hoodoo cytoplasm hold.; int6 & int9 -> int10: the cytoplasm is not a kind of a cadet and does not hoodoo cytoplasm.; int10 -> int11: there is something such that it is not a kind of a cadet and it does not hoodoo cytoplasm.; int11 & sent12 -> int12: the woodworm is a sow.; sent4 & int12 -> int13: the convector is Huxleyan.; sent6 & int13 -> int14: the boatbuilder is Huxleyan.; sent7 & int14 -> int15: the Sicilian is Huxleyan.; int3 & int15 -> int16: the Sicilian hoodoos shopkeeper.; int2 & int16 -> int17: the fact that the Sicilian is a kind of economics thing that is not vice-presidential is wrong.; int1 & int17 -> hypothesis;
$hypothesis$ = the woodworm does hoodoo shopkeeper and/or does down cheat if the boatbuilder is not vice-presidential. ; $context$ = sent1: something hoodoos shopkeeper if that it is Huxleyan is not incorrect. sent2: if the convector is economics then the woodworm does down cheat. sent3: the cytoplasm does not hoodoo cytoplasm if it does not down convector and is not a whoremaster. sent4: the convector is Huxleyan if the woodworm does sow. sent5: something does not down cheat if that it is economics and is not vice-presidential is not true. sent6: the boatbuilder is Huxleyan if the fact that the convector is Huxleyan is correct. sent7: if the fact that the boatbuilder is Huxleyan hold then the Sicilian is Huxleyan. sent8: the cytoplasm does space. sent9: the cytoplasm is a defiance. sent10: if something does space and it does photosensitize jog then it is not a cadet. sent11: the fact that something is economics but not vice-presidential does not hold if that it does hoodoo shopkeeper is not wrong. sent12: if something is not a cadet and it does not hoodoo cytoplasm the woodworm is a sow. sent13: the cytoplasm does photosensitize jog. sent14: if something is a defiance then it does not down convector and is not a whoremaster. ; $proof$ = 
__UNKNOWN__