the brassiere is gaseous but it does not mop if the scabicide is not effervescent.
sent1: the silversword is nuclear if there are non-accessional and non-meiotic things. sent2: if the scabicide is not effervescent then that the brassiere does not overjoy and is empyrean is false. sent3: that the brassiere does overjoy and is not empyrean is false. sent4: the fact that the brassiere does not overjoy but it is empyrean is wrong. sent5: if something is not a kind of a Bentham then that it is effervescent and is not gaseous does not hold. sent6: the brassiere is gaseous and does not mop if that the scabicide is effervescent is not false. sent7: the brassiere is gaseous if the fact that it does not overjoy and it is non-empyrean is not true. sent8: that the scabicide is not effervescent and does not mop does not hold if the brassiere does not overjoy. sent9: if something is sacrificial and it is nuclear it is not a kind of a Bentham. sent10: that the brassiere does overjoy and is not empyrean does not hold if the scabicide is not effervescent. sent11: that that the brassiere does not overjoy and it is non-empyrean is not false does not hold if the scabicide is effervescent. sent12: the silversword is sacrificial and is redemptive. sent13: if the scabicide is noneffervescent the fact that the brassiere does not overjoy and it is not empyrean is false. sent14: the scabicide is not accessional and it is not meiotic.
void -> assump1: Let's assume that the scabicide is not effervescent.; sent13 & assump1 -> int1: that that the brassiere does not overjoy and is not empyrean is not incorrect does not hold.; int1 & sent7 -> int2: that the brassiere is gaseous is true.;
the silversword does not mop.
sent5 -> int3: that the silversword is effervescent but it is not gaseous is wrong if it is not a Bentham.; sent9 -> int4: if the silversword is sacrificial thing that is nuclear it is not a Bentham.; sent12 -> int5: the silversword is sacrificial.; sent14 -> int6: there are non-accessional and non-meiotic things.; int6 & sent1 -> int7: the silversword is nuclear.; int5 & int7 -> int8: the silversword is not non-sacrificial and it is nuclear.; int4 & int8 -> int9: the silversword is not a Bentham.; int3 & int9 -> int10: the fact that the silversword is both not noneffervescent and not gaseous is incorrect.;
$hypothesis$ = the brassiere is gaseous but it does not mop if the scabicide is not effervescent. ; $context$ = sent1: the silversword is nuclear if there are non-accessional and non-meiotic things. sent2: if the scabicide is not effervescent then that the brassiere does not overjoy and is empyrean is false. sent3: that the brassiere does overjoy and is not empyrean is false. sent4: the fact that the brassiere does not overjoy but it is empyrean is wrong. sent5: if something is not a kind of a Bentham then that it is effervescent and is not gaseous does not hold. sent6: the brassiere is gaseous and does not mop if that the scabicide is effervescent is not false. sent7: the brassiere is gaseous if the fact that it does not overjoy and it is non-empyrean is not true. sent8: that the scabicide is not effervescent and does not mop does not hold if the brassiere does not overjoy. sent9: if something is sacrificial and it is nuclear it is not a kind of a Bentham. sent10: that the brassiere does overjoy and is not empyrean does not hold if the scabicide is not effervescent. sent11: that that the brassiere does not overjoy and it is non-empyrean is not false does not hold if the scabicide is effervescent. sent12: the silversword is sacrificial and is redemptive. sent13: if the scabicide is noneffervescent the fact that the brassiere does not overjoy and it is not empyrean is false. sent14: the scabicide is not accessional and it is not meiotic. ; $proof$ = 
void -> assump1: Let's assume that the scabicide is not effervescent.; sent13 & assump1 -> int1: that that the brassiere does not overjoy and is not empyrean is not incorrect does not hold.; int1 & sent7 -> int2: that the brassiere is gaseous is true.; __UNKNOWN__