that the lobscouse uploads blanket if the astrologer uploads Kivu is not right.
sent1: the slab is a conspiracy if the fact that the furring does not ferment requested is not false. sent2: the candlepins does not upload Kivu. sent3: the astrologer does not upload Kivu if the furring is a kind of a maguey and/or it does ferment requested. sent4: if the fact that the furring does not ferment requested is right then the slab does ferment requested and is a conspiracy. sent5: if the astrologer is delicate it does upload Kivu. sent6: the furring uploads Kivu. sent7: the astrologer is not delicate. sent8: the slab is a conspiracy. sent9: either the lobscouse uploads blanket or it does upload Kivu or both. sent10: the lobscouse is lymphocytic. sent11: the lobscouse does upload blanket if the slab is delicate. sent12: if the slab ferments requested the furring is delicate. sent13: the furring does ferment requested if the slab is a maguey. sent14: the lobscouse does upload blanket if it is delicate. sent15: if something does ferment requested it is delicate. sent16: the wrap is delicate. sent17: something is a kind of a conspiracy if it is not non-delicate.
void -> assump2: Let's assume that the furring ferments requested.; assump2 -> int1: either the furring is a maguey or it ferments requested or both.; int1 & sent3 -> int2: the astrologer does not upload Kivu.; void -> assump1: Let's assume that the astrologer does upload Kivu.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the furring does not ferment requested.; int4 & sent4 -> int5: the slab does ferment requested and is a conspiracy.; int5 -> int6: the slab does ferment requested.; sent15 -> int7: if the slab does ferment requested then it is delicate.; int6 & int7 -> int8: the slab is delicate.; int8 & sent11 -> int9: the lobscouse uploads blanket.; [assump1] & int9 -> hypothesis;
$hypothesis$ = that the lobscouse uploads blanket if the astrologer uploads Kivu is not right. ; $context$ = sent1: the slab is a conspiracy if the fact that the furring does not ferment requested is not false. sent2: the candlepins does not upload Kivu. sent3: the astrologer does not upload Kivu if the furring is a kind of a maguey and/or it does ferment requested. sent4: if the fact that the furring does not ferment requested is right then the slab does ferment requested and is a conspiracy. sent5: if the astrologer is delicate it does upload Kivu. sent6: the furring uploads Kivu. sent7: the astrologer is not delicate. sent8: the slab is a conspiracy. sent9: either the lobscouse uploads blanket or it does upload Kivu or both. sent10: the lobscouse is lymphocytic. sent11: the lobscouse does upload blanket if the slab is delicate. sent12: if the slab ferments requested the furring is delicate. sent13: the furring does ferment requested if the slab is a maguey. sent14: the lobscouse does upload blanket if it is delicate. sent15: if something does ferment requested it is delicate. sent16: the wrap is delicate. sent17: something is a kind of a conspiracy if it is not non-delicate. ; $proof$ = 
void -> assump2: Let's assume that the furring ferments requested.; assump2 -> int1: either the furring is a maguey or it ferments requested or both.; int1 & sent3 -> int2: the astrologer does not upload Kivu.; void -> assump1: Let's assume that the astrologer does upload Kivu.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the furring does not ferment requested.; int4 & sent4 -> int5: the slab does ferment requested and is a conspiracy.; int5 -> int6: the slab does ferment requested.; sent15 -> int7: if the slab does ferment requested then it is delicate.; int6 & int7 -> int8: the slab is delicate.; int8 & sent11 -> int9: the lobscouse uploads blanket.; [assump1] & int9 -> hypothesis; __DISPROVED__