the shearwater is both chelonian and not a English.
sent1: something is a Typhoeus. sent2: there is something such that it does tag handling. sent3: something tags handling and it is a Typhoeus. sent4: the princedom is not a kind of a palfrey but it does tag Raffia if the louvar is a palfrey. sent5: if that the princedom is a palfrey is correct the louvar guarantees handling. sent6: the princedom is a palfrey if there exists something such that it does tag handling and it is a Typhoeus. sent7: if the sunhat is not non-three-wheel then the shearwater is not English. sent8: something is a palfrey and it is English. sent9: if there is something such that it is not a Typhoeus the fact that the princedom does tag handling is not incorrect. sent10: the Raffia tags Raffia. sent11: the sunhat does not tag Raffia but it is three-wheel if the louvar does tag Raffia. sent12: the louvar is not a Typhoeus and it is not a palfrey if the sunhat does guarantee handling. sent13: the shearwater is both not non-chelonian and non-English if the sunhat is three-wheel. sent14: the fact that the sunhat tags Raffia is not wrong if it guarantees handling. sent15: if the Raffia tags Raffia and is not three-wheel the fact that the sunhat guarantees handling hold. sent16: if the fact that the Raffia is a kind of three-wheel thing that recasts Rain-giver is wrong the fact that it is not three-wheel hold. sent17: the conspirator does not tag Raffia but it does recast solenoid. sent18: something does tag Raffia if it guarantees handling.
sent3 & sent6 -> int1: the princedom is a kind of a palfrey.; int1 & sent5 -> int2: the louvar does guarantee handling.; sent18 -> int3: if the louvar guarantees handling that it does tag Raffia hold.; int2 & int3 -> int4: the louvar tags Raffia.; int4 & sent11 -> int5: the sunhat does not tag Raffia and is three-wheel.; int5 -> int6: the sunhat is not non-three-wheel.; int6 & sent13 -> hypothesis;
the fact that the fact that the shearwater is chelonian and non-English is not incorrect is wrong.
$hypothesis$ = the shearwater is both chelonian and not a English. ; $context$ = sent1: something is a Typhoeus. sent2: there is something such that it does tag handling. sent3: something tags handling and it is a Typhoeus. sent4: the princedom is not a kind of a palfrey but it does tag Raffia if the louvar is a palfrey. sent5: if that the princedom is a palfrey is correct the louvar guarantees handling. sent6: the princedom is a palfrey if there exists something such that it does tag handling and it is a Typhoeus. sent7: if the sunhat is not non-three-wheel then the shearwater is not English. sent8: something is a palfrey and it is English. sent9: if there is something such that it is not a Typhoeus the fact that the princedom does tag handling is not incorrect. sent10: the Raffia tags Raffia. sent11: the sunhat does not tag Raffia but it is three-wheel if the louvar does tag Raffia. sent12: the louvar is not a Typhoeus and it is not a palfrey if the sunhat does guarantee handling. sent13: the shearwater is both not non-chelonian and non-English if the sunhat is three-wheel. sent14: the fact that the sunhat tags Raffia is not wrong if it guarantees handling. sent15: if the Raffia tags Raffia and is not three-wheel the fact that the sunhat guarantees handling hold. sent16: if the fact that the Raffia is a kind of three-wheel thing that recasts Rain-giver is wrong the fact that it is not three-wheel hold. sent17: the conspirator does not tag Raffia but it does recast solenoid. sent18: something does tag Raffia if it guarantees handling. ; $proof$ = 
sent3 & sent6 -> int1: the princedom is a kind of a palfrey.; int1 & sent5 -> int2: the louvar does guarantee handling.; sent18 -> int3: if the louvar guarantees handling that it does tag Raffia hold.; int2 & int3 -> int4: the louvar tags Raffia.; int4 & sent11 -> int5: the sunhat does not tag Raffia and is three-wheel.; int5 -> int6: the sunhat is not non-three-wheel.; int6 & sent13 -> hypothesis; __PROVED__