the revolutionist is not a kind of a combretum and it is not humane.
sent1: the fact that the revolutionist is not an insemination and not a recurrence is wrong. sent2: if that the catchall is a bedsitter but it does not fluoresce is wrong then the revolutionist is not a kind of a turnaround. sent3: if the membrane is not a Mancunian and not pacific then the revolutionist is not pacific. sent4: something is not humane if it is not a kind of a mock-up and is not a reconnaissance. sent5: the revolutionist is not a reconnaissance if it is a kind of a combretum. sent6: the fact that if the membrane is not a combretum then that the revolutionist is not a kind of a combretum and it is not humane is false is true. sent7: if that the catchall is not a kind of a vespers and is a kind of a recurrence is not correct the membrane is a kind of a reconnaissance. sent8: the fact that something is a bedsitter but it does not fluoresce is not correct if it is not a rhenium. sent9: something does catalyze scalar and is a roomful if it is not nonresidential. sent10: if something is not pacific it is not a mock-up and is not a reconnaissance. sent11: something is not a kind of a combretum and it is not a Australopithecus if it is not a kind of a turnaround. sent12: the catchall is not a good. sent13: the catchall is humane. sent14: if something is a kind of a roomful then it is both non-Mancunian and non-pacific. sent15: the catchall is not a rhenium if the fact that it does not catalyze catchall and it is a rhenium does not hold. sent16: the membrane is a mock-up if the catchall is a reconnaissance. sent17: if the membrane is a reconnaissance then it is both not a combretum and not a mock-up. sent18: the revolutionist is not a vespers and it is not a recurrence if it is humane. sent19: the fact that the fact that the catchall is not a vespers and is a recurrence is not right hold. sent20: that the catchall does not catalyze catchall but it is a rhenium is incorrect.
sent7 & sent19 -> int1: the membrane is a kind of a reconnaissance.; int1 & sent17 -> int2: the membrane is not a kind of a combretum and it is not a mock-up.; int2 -> int3: the membrane is not a combretum.; int3 & sent6 -> hypothesis;
the revolutionist is not a combretum and it is not humane.
sent11 -> int4: the revolutionist is not a kind of a combretum and is not a kind of a Australopithecus if it is not a turnaround.; sent8 -> int5: that the catchall is a bedsitter and does not fluoresce does not hold if it is not a rhenium.; sent15 & sent20 -> int6: that the catchall is not a kind of a rhenium is not wrong.; int5 & int6 -> int7: that the fact that the catchall is a kind of a bedsitter that does not fluoresce is not true hold.; sent2 & int7 -> int8: the revolutionist is not a turnaround.; int4 & int8 -> int9: the revolutionist is not a kind of a combretum and it is not a Australopithecus.; int9 -> int10: the revolutionist is not a combretum.; sent4 -> int11: if the revolutionist is both not a mock-up and not a reconnaissance then it is not humane.; sent10 -> int12: the revolutionist is not a kind of a mock-up and is not a reconnaissance if it is non-pacific.; sent14 -> int13: if the membrane is a roomful it is not Mancunian and is not pacific.; sent9 -> int14: the membrane does catalyze scalar and it is a kind of a roomful if it is not nonresidential.;
$hypothesis$ = the revolutionist is not a kind of a combretum and it is not humane. ; $context$ = sent1: the fact that the revolutionist is not an insemination and not a recurrence is wrong. sent2: if that the catchall is a bedsitter but it does not fluoresce is wrong then the revolutionist is not a kind of a turnaround. sent3: if the membrane is not a Mancunian and not pacific then the revolutionist is not pacific. sent4: something is not humane if it is not a kind of a mock-up and is not a reconnaissance. sent5: the revolutionist is not a reconnaissance if it is a kind of a combretum. sent6: the fact that if the membrane is not a combretum then that the revolutionist is not a kind of a combretum and it is not humane is false is true. sent7: if that the catchall is not a kind of a vespers and is a kind of a recurrence is not correct the membrane is a kind of a reconnaissance. sent8: the fact that something is a bedsitter but it does not fluoresce is not correct if it is not a rhenium. sent9: something does catalyze scalar and is a roomful if it is not nonresidential. sent10: if something is not pacific it is not a mock-up and is not a reconnaissance. sent11: something is not a kind of a combretum and it is not a Australopithecus if it is not a kind of a turnaround. sent12: the catchall is not a good. sent13: the catchall is humane. sent14: if something is a kind of a roomful then it is both non-Mancunian and non-pacific. sent15: the catchall is not a rhenium if the fact that it does not catalyze catchall and it is a rhenium does not hold. sent16: the membrane is a mock-up if the catchall is a reconnaissance. sent17: if the membrane is a reconnaissance then it is both not a combretum and not a mock-up. sent18: the revolutionist is not a vespers and it is not a recurrence if it is humane. sent19: the fact that the fact that the catchall is not a vespers and is a recurrence is not right hold. sent20: that the catchall does not catalyze catchall but it is a rhenium is incorrect. ; $proof$ = 
sent7 & sent19 -> int1: the membrane is a kind of a reconnaissance.; int1 & sent17 -> int2: the membrane is not a kind of a combretum and it is not a mock-up.; int2 -> int3: the membrane is not a combretum.; int3 & sent6 -> hypothesis; __DISPROVED__