that the derringer does not detach is not wrong.
sent1: if the fact that the loom does detach but it is not a Irish is incorrect then the derringer does detach. sent2: the loom overrefines Kansas. sent3: if that the talcum does rejoin and is not an antioxidant is not correct then the fact that the Kansas does not rejoin is right. sent4: that the Soma is historical thing that does not page Soma is not true if it is not a kind of a countersink. sent5: the Soma is not a kind of a countersink if the derringer does overrefine Kansas and does detach. sent6: that the talcum does rejoin but it is not an antioxidant is not right. sent7: the Soma is a fleawort and it is a kind of an antioxidant if something is not historical. sent8: the loom is a kind of a fleawort. sent9: if the loom is not a Irish then it is not a kind of a snorkel. sent10: the loom is not a kind of a Irish. sent11: that if there is something such that it is not a fleawort then the Soma is both a Irish and historical is not incorrect. sent12: the loom does detach. sent13: the loom does not snorkel if the Soma is a countersink and it detaches. sent14: the Soma is historical and it rejoins if there is something such that it is not a countersink. sent15: if the fact that the loom is a Irish but it does not detach is false then the derringer is not a Irish. sent16: the fact that the derringer does overrefine Kansas is not false if the loom is not a snorkel. sent17: the Soma is covalent and a fleawort if something does not rejoin. sent18: the Soma is not a snorkel. sent19: the fact that the talcum is a fleawort and it is an antioxidant does not hold if it is not Irish. sent20: the talcum is not a fleawort. sent21: the derringer is an antioxidant.
sent9 & sent10 -> int1: the loom is not a kind of a snorkel.; int1 & sent16 -> int2: the derringer overrefines Kansas.; void -> assump1: Let's assume that the derringer detaches.; int2 & assump1 -> int3: the derringer overrefines Kansas and it does detach.; int3 & sent5 -> int4: the Soma is not a countersink.; int4 & sent4 -> int5: the fact that the Soma is a kind of historical thing that does not page Soma is not correct.; sent3 & sent6 -> int6: the Kansas does not rejoin.; int6 -> int7: something does not rejoin.; int7 & sent17 -> int8: the Soma is not non-covalent and it is a kind of a fleawort.; int8 -> int9: the Soma is a fleawort.;
the derringer detaches.
$hypothesis$ = that the derringer does not detach is not wrong. ; $context$ = sent1: if the fact that the loom does detach but it is not a Irish is incorrect then the derringer does detach. sent2: the loom overrefines Kansas. sent3: if that the talcum does rejoin and is not an antioxidant is not correct then the fact that the Kansas does not rejoin is right. sent4: that the Soma is historical thing that does not page Soma is not true if it is not a kind of a countersink. sent5: the Soma is not a kind of a countersink if the derringer does overrefine Kansas and does detach. sent6: that the talcum does rejoin but it is not an antioxidant is not right. sent7: the Soma is a fleawort and it is a kind of an antioxidant if something is not historical. sent8: the loom is a kind of a fleawort. sent9: if the loom is not a Irish then it is not a kind of a snorkel. sent10: the loom is not a kind of a Irish. sent11: that if there is something such that it is not a fleawort then the Soma is both a Irish and historical is not incorrect. sent12: the loom does detach. sent13: the loom does not snorkel if the Soma is a countersink and it detaches. sent14: the Soma is historical and it rejoins if there is something such that it is not a countersink. sent15: if the fact that the loom is a Irish but it does not detach is false then the derringer is not a Irish. sent16: the fact that the derringer does overrefine Kansas is not false if the loom is not a snorkel. sent17: the Soma is covalent and a fleawort if something does not rejoin. sent18: the Soma is not a snorkel. sent19: the fact that the talcum is a fleawort and it is an antioxidant does not hold if it is not Irish. sent20: the talcum is not a fleawort. sent21: the derringer is an antioxidant. ; $proof$ = 
sent9 & sent10 -> int1: the loom is not a kind of a snorkel.; int1 & sent16 -> int2: the derringer overrefines Kansas.; void -> assump1: Let's assume that the derringer detaches.; int2 & assump1 -> int3: the derringer overrefines Kansas and it does detach.; int3 & sent5 -> int4: the Soma is not a countersink.; int4 & sent4 -> int5: the fact that the Soma is a kind of historical thing that does not page Soma is not correct.; sent3 & sent6 -> int6: the Kansas does not rejoin.; int6 -> int7: something does not rejoin.; int7 & sent17 -> int8: the Soma is not non-covalent and it is a kind of a fleawort.; int8 -> int9: the Soma is a fleawort.; __UNKNOWN__