that something is a kind of a sojourn and is a saprolite is incorrect.
sent1: the Moor is a inopportuneness or it is Jamesian or both. sent2: if the Gibraltarian does loot then the Moor is a loot. sent3: if the Gibraltarian is eosinophilic the Moor is a kind of a saprolite. sent4: the Moor is a saprolite if it is not non-eosinophilic and is not a Connarus. sent5: if the Moor is a loot the Gibraltarian is a loot. sent6: the alcoholic is a kind of a bookshelf and it is eosinophilic. sent7: there exists something such that it is a saprolite. sent8: if the Moor is a kind of a Connarus but it is not a loot then it is a kind of a sojourn. sent9: if the Gibraltarian is a saprolite the Moor is a kind of a saprolite. sent10: the Moor is a kind of a Connarus. sent11: that something is not discernible and not a sojourn is false if it is not eosinophilic. sent12: the Moor is eosinophilic. sent13: the Moor is a paleographer and it is a Smalley. sent14: the Moor is a Connarus but it is not a loot. sent15: if the Gibraltarian is a sojourn then the Moor is a saprolite. sent16: the Moor is eosinophilic or it is a kind of a Connarus or both. sent17: the Moor is a kind of a inopportuneness. sent18: something does sojourn. sent19: that the Gibraltarian is a saprolite and/or it is eosinophilic is true.
sent8 & sent14 -> int1: that the Moor does sojourn hold.; sent19 & sent9 & sent3 -> int2: the Moor is a kind of a saprolite.; int1 & int2 -> int3: the Moor does sojourn and it is a saprolite.; int3 -> hypothesis;
that the Phoenician is a babka and is not a kind of a Connarus is not wrong.
sent11 -> int4: that the Phoenician is not discernible and is not a sojourn is not true if it is not eosinophilic.;
$hypothesis$ = that something is a kind of a sojourn and is a saprolite is incorrect. ; $context$ = sent1: the Moor is a inopportuneness or it is Jamesian or both. sent2: if the Gibraltarian does loot then the Moor is a loot. sent3: if the Gibraltarian is eosinophilic the Moor is a kind of a saprolite. sent4: the Moor is a saprolite if it is not non-eosinophilic and is not a Connarus. sent5: if the Moor is a loot the Gibraltarian is a loot. sent6: the alcoholic is a kind of a bookshelf and it is eosinophilic. sent7: there exists something such that it is a saprolite. sent8: if the Moor is a kind of a Connarus but it is not a loot then it is a kind of a sojourn. sent9: if the Gibraltarian is a saprolite the Moor is a kind of a saprolite. sent10: the Moor is a kind of a Connarus. sent11: that something is not discernible and not a sojourn is false if it is not eosinophilic. sent12: the Moor is eosinophilic. sent13: the Moor is a paleographer and it is a Smalley. sent14: the Moor is a Connarus but it is not a loot. sent15: if the Gibraltarian is a sojourn then the Moor is a saprolite. sent16: the Moor is eosinophilic or it is a kind of a Connarus or both. sent17: the Moor is a kind of a inopportuneness. sent18: something does sojourn. sent19: that the Gibraltarian is a saprolite and/or it is eosinophilic is true. ; $proof$ = 
sent8 & sent14 -> int1: that the Moor does sojourn hold.; sent19 & sent9 & sent3 -> int2: the Moor is a kind of a saprolite.; int1 & int2 -> int3: the Moor does sojourn and it is a saprolite.; int3 -> hypothesis; __DISPROVED__