the fact that the reflation is not a Anarhichadidae but it does poison does not hold.
sent1: the idealist does not mark stork and it does not mark ceratosaur if the inside is a tucker. sent2: the idealist preoccupies E. sent3: if the cocobolo does not wail then the fact that it is not a kind of a poisoning hold. sent4: the reflation is a gunman. sent5: the inside does not preoccupy E if there is something such that it is fossorial or it is a kind of a tucker or both. sent6: if the cocobolo does wail then the idealist is a tucker. sent7: that the reflation is a Anarhichadidae and a poisoning is wrong. sent8: The E preoccupies idealist. sent9: if the idealist does not mark stork and does not mark ceratosaur it is not non-fossorial. sent10: the cocobolo does not wail if the idealist is fossorial and it does preoccupy E. sent11: something does wail and it is a poisoning if it is not a Anarhichadidae. sent12: the fact that the reflation is not a Anarhichadidae but a poisoning is incorrect if the cocobolo is not a poisoning. sent13: the inside is a tucker.
sent1 & sent13 -> int1: the idealist does not mark stork and it does not mark ceratosaur.; int1 & sent9 -> int2: the fact that the idealist is fossorial hold.; int2 & sent2 -> int3: the idealist is fossorial and preoccupies E.; int3 & sent10 -> int4: the cocobolo does not wail.; int4 & sent3 -> int5: the cocobolo does not poison.; int5 & sent12 -> hypothesis;
the inside does not preoccupy E.
sent11 -> int6: if the cocobolo is not a Anarhichadidae it does wail and it is a poisoning.; sent4 -> int7: something is a gunman.;
$hypothesis$ = the fact that the reflation is not a Anarhichadidae but it does poison does not hold. ; $context$ = sent1: the idealist does not mark stork and it does not mark ceratosaur if the inside is a tucker. sent2: the idealist preoccupies E. sent3: if the cocobolo does not wail then the fact that it is not a kind of a poisoning hold. sent4: the reflation is a gunman. sent5: the inside does not preoccupy E if there is something such that it is fossorial or it is a kind of a tucker or both. sent6: if the cocobolo does wail then the idealist is a tucker. sent7: that the reflation is a Anarhichadidae and a poisoning is wrong. sent8: The E preoccupies idealist. sent9: if the idealist does not mark stork and does not mark ceratosaur it is not non-fossorial. sent10: the cocobolo does not wail if the idealist is fossorial and it does preoccupy E. sent11: something does wail and it is a poisoning if it is not a Anarhichadidae. sent12: the fact that the reflation is not a Anarhichadidae but a poisoning is incorrect if the cocobolo is not a poisoning. sent13: the inside is a tucker. ; $proof$ = 
sent1 & sent13 -> int1: the idealist does not mark stork and it does not mark ceratosaur.; int1 & sent9 -> int2: the fact that the idealist is fossorial hold.; int2 & sent2 -> int3: the idealist is fossorial and preoccupies E.; int3 & sent10 -> int4: the cocobolo does not wail.; int4 & sent3 -> int5: the cocobolo does not poison.; int5 & sent12 -> hypothesis; __PROVED__