the coprolith consociates and is not a kind of a bull.
sent1: the hock is not a Osteoglossidae. sent2: the fact that something does consociate but it is not a kind of a bull is false if it is a carrageen. sent3: the fact that the spanker is not fragrant is right. sent4: that the coprolith does not axe brownie and is fragrant is wrong. sent5: if the hock is not a Osteoglossidae then that it does not culminate and is federal is incorrect. sent6: if the footplate is not opaque but it is a kind of a carrageen the spanker is not a carrageen. sent7: a fragrant thing is not opaque and is a carrageen. sent8: the coprolith is a Osteoglossidae if the hock is a kind of a Osteoglossidae that does not axe brownie. sent9: something is fragrant if it is postmenopausal. sent10: if something does not axe brownie and is not opaque then the fact that it is a carrageen is correct. sent11: if something is a Osteoglossidae it does consociate and does not bull. sent12: if the hock does not axe brownie the spanker does not axe brownie and is not fragrant. sent13: the footplate is postmenopausal if it is not violable and it is indiscriminate. sent14: the fact that the coprolith does not axe brownie and is non-opaque is true if the spanker does not axe brownie. sent15: the footplate is not violable but it is indiscriminate if it is not bracteolate. sent16: that that the spanker does axe brownie and it is a Osteoglossidae is not correct hold. sent17: something does not instruct pya if the fact that it does not ramble throne and it is not non-basinal does not hold. sent18: if the hock does not axe brownie the coprolith is not federal. sent19: something that axes brownie and is not opaque is a carrageen. sent20: if that something does not culminate but it is federal does not hold the fact that it does not axe brownie is not wrong. sent21: the coprolith does not culminate if it is a bull. sent22: something is exterior if it does not ramble cashbox and it is non-metric. sent23: that the hock culminates and is federal is wrong if it is not a Osteoglossidae.
sent5 & sent1 -> int1: the fact that the hock does not culminate and is federal is false.; sent20 -> int2: if the fact that the hock does not culminate but it is federal does not hold it does not axe brownie.; int1 & int2 -> int3: the hock does not axe brownie.; int3 & sent12 -> int4: the spanker does not axe brownie and it is not fragrant.; int4 -> int5: the spanker does not axe brownie.; int5 & sent14 -> int6: the coprolith does not axe brownie and it is not opaque.; sent10 -> int7: the fact that if the coprolith does not axe brownie and it is not opaque the coprolith is a carrageen is not false.; int6 & int7 -> int8: the fact that the coprolith is a carrageen is not wrong.; sent2 -> int9: that that the coprolith consociates but it is not a kind of a bull is incorrect is not wrong if it is a carrageen.; int8 & int9 -> hypothesis;
that the coprolith does consociate but it does not bull is correct.
sent11 -> int10: if the coprolith is a kind of a Osteoglossidae it consociates and does not bull.; sent7 -> int11: the footplate is both not opaque and a carrageen if it is fragrant.; sent9 -> int12: the footplate is fragrant if it is postmenopausal.;
$hypothesis$ = the coprolith consociates and is not a kind of a bull. ; $context$ = sent1: the hock is not a Osteoglossidae. sent2: the fact that something does consociate but it is not a kind of a bull is false if it is a carrageen. sent3: the fact that the spanker is not fragrant is right. sent4: that the coprolith does not axe brownie and is fragrant is wrong. sent5: if the hock is not a Osteoglossidae then that it does not culminate and is federal is incorrect. sent6: if the footplate is not opaque but it is a kind of a carrageen the spanker is not a carrageen. sent7: a fragrant thing is not opaque and is a carrageen. sent8: the coprolith is a Osteoglossidae if the hock is a kind of a Osteoglossidae that does not axe brownie. sent9: something is fragrant if it is postmenopausal. sent10: if something does not axe brownie and is not opaque then the fact that it is a carrageen is correct. sent11: if something is a Osteoglossidae it does consociate and does not bull. sent12: if the hock does not axe brownie the spanker does not axe brownie and is not fragrant. sent13: the footplate is postmenopausal if it is not violable and it is indiscriminate. sent14: the fact that the coprolith does not axe brownie and is non-opaque is true if the spanker does not axe brownie. sent15: the footplate is not violable but it is indiscriminate if it is not bracteolate. sent16: that that the spanker does axe brownie and it is a Osteoglossidae is not correct hold. sent17: something does not instruct pya if the fact that it does not ramble throne and it is not non-basinal does not hold. sent18: if the hock does not axe brownie the coprolith is not federal. sent19: something that axes brownie and is not opaque is a carrageen. sent20: if that something does not culminate but it is federal does not hold the fact that it does not axe brownie is not wrong. sent21: the coprolith does not culminate if it is a bull. sent22: something is exterior if it does not ramble cashbox and it is non-metric. sent23: that the hock culminates and is federal is wrong if it is not a Osteoglossidae. ; $proof$ = 
sent5 & sent1 -> int1: the fact that the hock does not culminate and is federal is false.; sent20 -> int2: if the fact that the hock does not culminate but it is federal does not hold it does not axe brownie.; int1 & int2 -> int3: the hock does not axe brownie.; int3 & sent12 -> int4: the spanker does not axe brownie and it is not fragrant.; int4 -> int5: the spanker does not axe brownie.; int5 & sent14 -> int6: the coprolith does not axe brownie and it is not opaque.; sent10 -> int7: the fact that if the coprolith does not axe brownie and it is not opaque the coprolith is a carrageen is not false.; int6 & int7 -> int8: the fact that the coprolith is a carrageen is not wrong.; sent2 -> int9: that that the coprolith consociates but it is not a kind of a bull is incorrect is not wrong if it is a carrageen.; int8 & int9 -> hypothesis; __DISPROVED__