the fact that the Strand is calcifugous is right.
sent1: if something that is reductionist is nonslippery then the heifer is a kind of a stardust. sent2: there exists nothing such that it is not a scours and it does not drink retinene. sent3: there is nothing that is both a stardust and not calcifugous. sent4: the Strand is calcifugous and it is reductionist if the fact that the heifer is not nonslippery is correct. sent5: there exists something such that it is a kind of a stardust. sent6: there exists something such that that it does scour and it does not drink retinene is not true. sent7: if there is something such that that it is not a scours and it does not drink retinene does not hold then that the Strand scours is true. sent8: something is reductionist and is nonslippery. sent9: there exists something such that the fact that it does not scour and it does drink retinene does not hold. sent10: a credulous thing that is calcifugous is not a kind of a scours. sent11: if the heifer is a stardust the Strand is credulous. sent12: if the heifer is credulous and calcifugous then it is not a stardust. sent13: the Strand does not drink retinene if it is both a scours and calcifugous. sent14: there exists something such that it is reductionist. sent15: that the cosmid is reductionist hold. sent16: the cosmid is not calcifugous if it scours and it is credulous.
sent8 & sent1 -> int1: the fact that the heifer is a stardust is true.; int1 & sent11 -> int2: the Strand is credulous.; void -> assump1: Let's assume that the Strand is calcifugous.; int2 & assump1 -> int3: the Strand is a kind of credulous thing that is calcifugous.; sent10 -> int4: the Strand is not a scours if it is credulous thing that is calcifugous.; int3 & int4 -> int5: the Strand does not scour.; sent2 -> int6: that the cosmid is not a scours and it does not drink retinene is not correct.; int6 -> int7: there exists something such that the fact that it does not scour and does not drink retinene does not hold.; int7 & sent7 -> int8: the Strand scours.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the Strand is calcifugous.
$hypothesis$ = the fact that the Strand is calcifugous is right. ; $context$ = sent1: if something that is reductionist is nonslippery then the heifer is a kind of a stardust. sent2: there exists nothing such that it is not a scours and it does not drink retinene. sent3: there is nothing that is both a stardust and not calcifugous. sent4: the Strand is calcifugous and it is reductionist if the fact that the heifer is not nonslippery is correct. sent5: there exists something such that it is a kind of a stardust. sent6: there exists something such that that it does scour and it does not drink retinene is not true. sent7: if there is something such that that it is not a scours and it does not drink retinene does not hold then that the Strand scours is true. sent8: something is reductionist and is nonslippery. sent9: there exists something such that the fact that it does not scour and it does drink retinene does not hold. sent10: a credulous thing that is calcifugous is not a kind of a scours. sent11: if the heifer is a stardust the Strand is credulous. sent12: if the heifer is credulous and calcifugous then it is not a stardust. sent13: the Strand does not drink retinene if it is both a scours and calcifugous. sent14: there exists something such that it is reductionist. sent15: that the cosmid is reductionist hold. sent16: the cosmid is not calcifugous if it scours and it is credulous. ; $proof$ = 
sent8 & sent1 -> int1: the fact that the heifer is a stardust is true.; int1 & sent11 -> int2: the Strand is credulous.; void -> assump1: Let's assume that the Strand is calcifugous.; int2 & assump1 -> int3: the Strand is a kind of credulous thing that is calcifugous.; sent10 -> int4: the Strand is not a scours if it is credulous thing that is calcifugous.; int3 & int4 -> int5: the Strand does not scour.; sent2 -> int6: that the cosmid is not a scours and it does not drink retinene is not correct.; int6 -> int7: there exists something such that the fact that it does not scour and does not drink retinene does not hold.; int7 & sent7 -> int8: the Strand scours.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__