the life is not traumatic.
sent1: if the alb is a compositor the life is not traumatic. sent2: if the life is a kind of traumatic thing that is not a kind of a Arctonyx then the strophanthus is auditory. sent3: if there is something such that the fact that it hungers roulette hold then the roulette is not auditory. sent4: if something is exoergic it is a kind of a arachnoid and/or does not hunger Colinus. sent5: there exists something such that that it does hunger roulette hold. sent6: the roulette does not orchestrate Latvian. sent7: the strophanthus is not a Arctonyx. sent8: if something that is not pineal is not auditory it does not hunger Colinus. sent9: if that the roulette is not a arachnoid is not incorrect then the strophanthus is exoergic thing that is not a Arctonyx. sent10: something that does not hunger Colinus is not arachnoid. sent11: the roulette is non-pineal thing that is not auditory if there is something such that that it does hunger roulette is right. sent12: the roulette is not auditory. sent13: something is not pineal if it is both not a Arctonyx and not auditory. sent14: if something is not pineal and is auditory it does not hunger Colinus. sent15: something is not auditory if it is a kind of a arachnoid. sent16: something is traumatic if it hungers roulette. sent17: if the fact that something is a Arctonyx is correct it is exoergic. sent18: the roulette is auditory and not exoergic if that the strophanthus is not a compositor is not wrong. sent19: the life is a kind of a Arctonyx and is a compositor if the roulette does not orchestrate Latvian.
sent5 & sent11 -> int1: the roulette is not pineal and is not auditory.; sent8 -> int2: the roulette does not hunger Colinus if it is a kind of non-pineal thing that is not auditory.; int1 & int2 -> int3: the roulette does not hunger Colinus.; sent10 -> int4: the roulette is not a arachnoid if it does not hunger Colinus.; int3 & int4 -> int5: the fact that the roulette is not a kind of a arachnoid is not false.; int5 & sent9 -> int6: the fact that the strophanthus is exoergic but it is not a Arctonyx is true.;
the life is traumatic.
sent16 -> int7: the life is traumatic if it hungers roulette.; sent4 -> int8: the life either is a kind of a arachnoid or does not hunger Colinus or both if it is exoergic.; sent17 -> int9: if the fact that the life is a Arctonyx is not false then that it is exoergic is correct.; sent19 & sent6 -> int10: the life is both a Arctonyx and a compositor.; int10 -> int11: the fact that the life is a Arctonyx is not incorrect.; int9 & int11 -> int12: the life is exoergic.; int8 & int12 -> int13: the life is arachnoid and/or it does not hunger Colinus.; sent15 -> int14: if the life is a arachnoid then the fact that it is not auditory hold.;
$hypothesis$ = the life is not traumatic. ; $context$ = sent1: if the alb is a compositor the life is not traumatic. sent2: if the life is a kind of traumatic thing that is not a kind of a Arctonyx then the strophanthus is auditory. sent3: if there is something such that the fact that it hungers roulette hold then the roulette is not auditory. sent4: if something is exoergic it is a kind of a arachnoid and/or does not hunger Colinus. sent5: there exists something such that that it does hunger roulette hold. sent6: the roulette does not orchestrate Latvian. sent7: the strophanthus is not a Arctonyx. sent8: if something that is not pineal is not auditory it does not hunger Colinus. sent9: if that the roulette is not a arachnoid is not incorrect then the strophanthus is exoergic thing that is not a Arctonyx. sent10: something that does not hunger Colinus is not arachnoid. sent11: the roulette is non-pineal thing that is not auditory if there is something such that that it does hunger roulette is right. sent12: the roulette is not auditory. sent13: something is not pineal if it is both not a Arctonyx and not auditory. sent14: if something is not pineal and is auditory it does not hunger Colinus. sent15: something is not auditory if it is a kind of a arachnoid. sent16: something is traumatic if it hungers roulette. sent17: if the fact that something is a Arctonyx is correct it is exoergic. sent18: the roulette is auditory and not exoergic if that the strophanthus is not a compositor is not wrong. sent19: the life is a kind of a Arctonyx and is a compositor if the roulette does not orchestrate Latvian. ; $proof$ = 
sent5 & sent11 -> int1: the roulette is not pineal and is not auditory.; sent8 -> int2: the roulette does not hunger Colinus if it is a kind of non-pineal thing that is not auditory.; int1 & int2 -> int3: the roulette does not hunger Colinus.; sent10 -> int4: the roulette is not a arachnoid if it does not hunger Colinus.; int3 & int4 -> int5: the fact that the roulette is not a kind of a arachnoid is not false.; int5 & sent9 -> int6: the fact that the strophanthus is exoergic but it is not a Arctonyx is true.; __UNKNOWN__