the fact that the wassailer does consolidate saltiness and it is a Naja does not hold.
sent1: the wassailer is defervescent and a belay. sent2: the bushing does not empty assortment if the wassailer is a kind of rimless thing that is not non-defervescent. sent3: the bushing empties assortment. sent4: if the bushing is not a satirist the fact that it is not a Seriola or it does not consolidate saltiness or both hold. sent5: the bushing is not a satirist. sent6: if something is not rimless it is defervescent and a belay. sent7: that the wassailer does empty assortment but it is not a kind of a Naja does not hold if it does not consolidate saltiness. sent8: if the fact that the wassailer is not rimless is correct then that it consolidates saltiness and is a Naja is not true. sent9: the bushing belays if it is rimless. sent10: The assortment empties bushing.
sent1 -> int1: the wassailer is defervescent.; void -> assump1: Let's assume that the wassailer is rimless.; int1 & assump1 -> int2: the wassailer is rimless and it is defervescent.; int2 & sent2 -> int3: the bushing does not empty assortment.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the wassailer is not rimless is not incorrect.; int5 & sent8 -> hypothesis;
the wassailer does consolidate saltiness and it is a Naja.
$hypothesis$ = the fact that the wassailer does consolidate saltiness and it is a Naja does not hold. ; $context$ = sent1: the wassailer is defervescent and a belay. sent2: the bushing does not empty assortment if the wassailer is a kind of rimless thing that is not non-defervescent. sent3: the bushing empties assortment. sent4: if the bushing is not a satirist the fact that it is not a Seriola or it does not consolidate saltiness or both hold. sent5: the bushing is not a satirist. sent6: if something is not rimless it is defervescent and a belay. sent7: that the wassailer does empty assortment but it is not a kind of a Naja does not hold if it does not consolidate saltiness. sent8: if the fact that the wassailer is not rimless is correct then that it consolidates saltiness and is a Naja is not true. sent9: the bushing belays if it is rimless. sent10: The assortment empties bushing. ; $proof$ = 
sent1 -> int1: the wassailer is defervescent.; void -> assump1: Let's assume that the wassailer is rimless.; int1 & assump1 -> int2: the wassailer is rimless and it is defervescent.; int2 & sent2 -> int3: the bushing does not empty assortment.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the wassailer is not rimless is not incorrect.; int5 & sent8 -> hypothesis; __PROVED__