the Sinhalese is maritime.
sent1: something does not garner banyan. sent2: something is maritime if it does garner banyan. sent3: the hydra either is a Pantaloon or is a kind of a rhinencephalon or both. sent4: the urocele is a cereal. sent5: the fact that the oxtail is a rhinencephalon and is rejective does not hold if there is something such that it does not garner banyan. sent6: the urocele is a cereal that pitches dowered. sent7: the oxtail is both rejective and fernless if the chrysoprase is not a rhinencephalon. sent8: the second-in-command is a kind of a rhinencephalon. sent9: something does garner banyan if it is a rhinencephalon. sent10: if the fact that something is maritime and it pitches dowered is wrong it is not maritime. sent11: if the hydra is a kind of a Pantaloon then the fact that the chrysoprase is not a rhinencephalon is correct. sent12: a fernless thing that does pitch dowered is not rejective. sent13: the urocele is fernless. sent14: that something is a cereal is not incorrect if it is fernless. sent15: the Sinhalese is a rhinencephalon if the fact that the urocele is not rejective is not incorrect. sent16: if the hydra is a kind of a rhinencephalon then the fact that the chrysoprase is not a kind of a rhinencephalon hold.
sent6 -> int1: the urocele pitches dowered.; int1 & sent13 -> int2: the urocele is fernless and does pitch dowered.; sent12 -> int3: the urocele is not rejective if it is fernless and it does pitch dowered.; int2 & int3 -> int4: the urocele is not rejective.; int4 & sent15 -> int5: the Sinhalese is a rhinencephalon.; sent9 -> int6: if the Sinhalese is a rhinencephalon it garners banyan.; int5 & int6 -> int7: the Sinhalese does garner banyan.; sent2 -> int8: the Sinhalese is maritime if it garners banyan.; int7 & int8 -> hypothesis;
that the Sinhalese is maritime is incorrect.
sent1 & sent5 -> int9: that the oxtail is a rhinencephalon and rejective is not correct.; int9 -> int10: there is something such that that it is a rhinencephalon and rejective is incorrect.;
$hypothesis$ = the Sinhalese is maritime. ; $context$ = sent1: something does not garner banyan. sent2: something is maritime if it does garner banyan. sent3: the hydra either is a Pantaloon or is a kind of a rhinencephalon or both. sent4: the urocele is a cereal. sent5: the fact that the oxtail is a rhinencephalon and is rejective does not hold if there is something such that it does not garner banyan. sent6: the urocele is a cereal that pitches dowered. sent7: the oxtail is both rejective and fernless if the chrysoprase is not a rhinencephalon. sent8: the second-in-command is a kind of a rhinencephalon. sent9: something does garner banyan if it is a rhinencephalon. sent10: if the fact that something is maritime and it pitches dowered is wrong it is not maritime. sent11: if the hydra is a kind of a Pantaloon then the fact that the chrysoprase is not a rhinencephalon is correct. sent12: a fernless thing that does pitch dowered is not rejective. sent13: the urocele is fernless. sent14: that something is a cereal is not incorrect if it is fernless. sent15: the Sinhalese is a rhinencephalon if the fact that the urocele is not rejective is not incorrect. sent16: if the hydra is a kind of a rhinencephalon then the fact that the chrysoprase is not a kind of a rhinencephalon hold. ; $proof$ = 
sent6 -> int1: the urocele pitches dowered.; int1 & sent13 -> int2: the urocele is fernless and does pitch dowered.; sent12 -> int3: the urocele is not rejective if it is fernless and it does pitch dowered.; int2 & int3 -> int4: the urocele is not rejective.; int4 & sent15 -> int5: the Sinhalese is a rhinencephalon.; sent9 -> int6: if the Sinhalese is a rhinencephalon it garners banyan.; int5 & int6 -> int7: the Sinhalese does garner banyan.; sent2 -> int8: the Sinhalese is maritime if it garners banyan.; int7 & int8 -> hypothesis; __PROVED__