the fact that if the microsome is a kind of an open then the commodore is harsh is false.
sent1: if the fruitcake is not a kind of a sailing it does not ding microsome and it headquarters naloxone. sent2: if the microsome does not outgeneral publicity but it opens then the commodore is harsh. sent3: the fruitcake is not a sailing if the barterer does not outgeneral massicot and does not outgeneral secant. sent4: the commodore is not a sailing. sent5: the microsome does not outgeneral massicot and is open. sent6: the fact that the barterer does not outgeneral secant and does headquarter naloxone is true. sent7: the fruitcake does not ding microsome and is harsh. sent8: the fact that the fruitcake does not headquarter naloxone hold if the microsome does outgeneral publicity but it does not ding microsome. sent9: the fruitcake is not a kind of a pellitory but it is harsh. sent10: if the barterer does ding microsome the feasting is not non-open. sent11: the barterer does not outgeneral massicot and does not outgeneral secant. sent12: the microsome is not a paleocerebellum. sent13: the microsome does not headquarter naloxone. sent14: the barterer dings microsome if either the fruitcake does sail or it does not headquarter naloxone or both. sent15: the microsome does not outgeneral publicity if the fruitcake does not ding microsome but it headquarters naloxone. sent16: the microsome does not outgeneral massicot. sent17: the fruitcake does not ding microsome and outgenerals massicot. sent18: the commodore is not non-open. sent19: the microsome is not harsh and outgenerals publicity if it kibitzes.
sent3 & sent11 -> int1: the fruitcake is not a sailing.; int1 & sent1 -> int2: the fruitcake does not ding microsome but it headquarters naloxone.; int2 & sent15 -> int3: the microsome does not outgeneral publicity.; void -> assump1: Let's assume that the microsome opens.; int3 & assump1 -> int4: the microsome does not outgeneral publicity but it does open.; int4 & sent2 -> int5: the commodore is harsh.; [assump1] & int5 -> hypothesis;
the feasting opens.
$hypothesis$ = the fact that if the microsome is a kind of an open then the commodore is harsh is false. ; $context$ = sent1: if the fruitcake is not a kind of a sailing it does not ding microsome and it headquarters naloxone. sent2: if the microsome does not outgeneral publicity but it opens then the commodore is harsh. sent3: the fruitcake is not a sailing if the barterer does not outgeneral massicot and does not outgeneral secant. sent4: the commodore is not a sailing. sent5: the microsome does not outgeneral massicot and is open. sent6: the fact that the barterer does not outgeneral secant and does headquarter naloxone is true. sent7: the fruitcake does not ding microsome and is harsh. sent8: the fact that the fruitcake does not headquarter naloxone hold if the microsome does outgeneral publicity but it does not ding microsome. sent9: the fruitcake is not a kind of a pellitory but it is harsh. sent10: if the barterer does ding microsome the feasting is not non-open. sent11: the barterer does not outgeneral massicot and does not outgeneral secant. sent12: the microsome is not a paleocerebellum. sent13: the microsome does not headquarter naloxone. sent14: the barterer dings microsome if either the fruitcake does sail or it does not headquarter naloxone or both. sent15: the microsome does not outgeneral publicity if the fruitcake does not ding microsome but it headquarters naloxone. sent16: the microsome does not outgeneral massicot. sent17: the fruitcake does not ding microsome and outgenerals massicot. sent18: the commodore is not non-open. sent19: the microsome is not harsh and outgenerals publicity if it kibitzes. ; $proof$ = 
sent3 & sent11 -> int1: the fruitcake is not a sailing.; int1 & sent1 -> int2: the fruitcake does not ding microsome but it headquarters naloxone.; int2 & sent15 -> int3: the microsome does not outgeneral publicity.; void -> assump1: Let's assume that the microsome opens.; int3 & assump1 -> int4: the microsome does not outgeneral publicity but it does open.; int4 & sent2 -> int5: the commodore is harsh.; [assump1] & int5 -> hypothesis; __DISPROVED__