the rheometer is a kind of a headsail.
sent1: the active is not hematopoietic and it is not a kind of a manana. sent2: if the active is not hematopoietic and it is not a manana then the rheometer is not a kind of a mudslide. sent3: if the active is a kind of a headsail then that the rheometer is a kind of a headsail hold. sent4: the active is a headsail if the fact that the wildlife is a kind of a headsail but it does not multiply indoctrination is not correct. sent5: the rheometer is not a kind of a mudslide if the active is both not hematopoietic and a manana. sent6: if the active is hematopoietic but it is not a kind of a manana the rheometer is not a mudslide. sent7: that either something does scythe or it does not ask Salk or both is incorrect if it does not lighten. sent8: something is not a kind of a capitol if it is not a kind of a gaffe. sent9: the wildlife is not a mudslide if either the barbershop is not a kind of a gaffe or it is not a kind of a mudslide or both. sent10: the capercaillie is not unwoven if it is not a kind of a ferrite and is not a moppet. sent11: the active is not therapeutic and it is not a headsail. sent12: the rheometer is not a gaffe if it does not multiply indoctrination and it is not a mudslide. sent13: The indoctrination does not multiply rheometer. sent14: if the biont does not multiply indoctrination then that it is lacrimatory and/or is not oracular does not hold. sent15: the rheometer is not hematopoietic. sent16: something does not multiply indoctrination if the fact that it is a gaffe and/or it is not a mudslide is false. sent17: that something is a kind of a capitol or it is not gymnastic or both is wrong if the fact that it is not a gaffe is not wrong. sent18: if the rheometer is not a gaffe it is not a capitol. sent19: the rheometer does not unzip. sent20: the fact that either the active resounds or it does not multiply indoctrination or both is not correct. sent21: the rheometer does not multiply indoctrination. sent22: the hypodermic does not evaporate and is not hematopoietic. sent23: something is not a headsail if the fact that it is a kind of a capitol and/or it is non-gymnastic is incorrect. sent24: the rheometer is not a capitol. sent25: if that the rheometer multiplies indoctrination or is not hematopoietic or both does not hold it is not gymnastic.
sent2 & sent1 -> int1: the rheometer is not a mudslide.; int1 & sent21 -> int2: the rheometer does not multiply indoctrination and is not a mudslide.; int2 & sent12 -> int3: the rheometer is not a gaffe.; sent17 -> int4: if the rheometer is not a kind of a gaffe that it is a capitol or it is not gymnastic or both is incorrect.; int3 & int4 -> int5: the fact that the rheometer is either a capitol or not gymnastic or both is incorrect.; sent23 -> int6: if the fact that the rheometer is a capitol and/or it is not gymnastic does not hold then the fact that it is not a headsail is right.; int5 & int6 -> hypothesis;
the rheometer is a headsail.
$hypothesis$ = the rheometer is a kind of a headsail. ; $context$ = sent1: the active is not hematopoietic and it is not a kind of a manana. sent2: if the active is not hematopoietic and it is not a manana then the rheometer is not a kind of a mudslide. sent3: if the active is a kind of a headsail then that the rheometer is a kind of a headsail hold. sent4: the active is a headsail if the fact that the wildlife is a kind of a headsail but it does not multiply indoctrination is not correct. sent5: the rheometer is not a kind of a mudslide if the active is both not hematopoietic and a manana. sent6: if the active is hematopoietic but it is not a kind of a manana the rheometer is not a mudslide. sent7: that either something does scythe or it does not ask Salk or both is incorrect if it does not lighten. sent8: something is not a kind of a capitol if it is not a kind of a gaffe. sent9: the wildlife is not a mudslide if either the barbershop is not a kind of a gaffe or it is not a kind of a mudslide or both. sent10: the capercaillie is not unwoven if it is not a kind of a ferrite and is not a moppet. sent11: the active is not therapeutic and it is not a headsail. sent12: the rheometer is not a gaffe if it does not multiply indoctrination and it is not a mudslide. sent13: The indoctrination does not multiply rheometer. sent14: if the biont does not multiply indoctrination then that it is lacrimatory and/or is not oracular does not hold. sent15: the rheometer is not hematopoietic. sent16: something does not multiply indoctrination if the fact that it is a gaffe and/or it is not a mudslide is false. sent17: that something is a kind of a capitol or it is not gymnastic or both is wrong if the fact that it is not a gaffe is not wrong. sent18: if the rheometer is not a gaffe it is not a capitol. sent19: the rheometer does not unzip. sent20: the fact that either the active resounds or it does not multiply indoctrination or both is not correct. sent21: the rheometer does not multiply indoctrination. sent22: the hypodermic does not evaporate and is not hematopoietic. sent23: something is not a headsail if the fact that it is a kind of a capitol and/or it is non-gymnastic is incorrect. sent24: the rheometer is not a capitol. sent25: if that the rheometer multiplies indoctrination or is not hematopoietic or both does not hold it is not gymnastic. ; $proof$ = 
sent2 & sent1 -> int1: the rheometer is not a mudslide.; int1 & sent21 -> int2: the rheometer does not multiply indoctrination and is not a mudslide.; int2 & sent12 -> int3: the rheometer is not a gaffe.; sent17 -> int4: if the rheometer is not a kind of a gaffe that it is a capitol or it is not gymnastic or both is incorrect.; int3 & int4 -> int5: the fact that the rheometer is either a capitol or not gymnastic or both is incorrect.; sent23 -> int6: if the fact that the rheometer is a capitol and/or it is not gymnastic does not hold then the fact that it is not a headsail is right.; int5 & int6 -> hypothesis; __DISPROVED__