the fact that the oriel is Himalayan and it is a bat is incorrect.
sent1: that the finback is not Cyprian and it does not rewrite pecan is incorrect if the fact that the oriel does not sophisticate ouzo is true. sent2: the finback is non-Cyprian and it does not rewrite pecan. sent3: something is a kind of a Leptarrhena if it is a Castoridae. sent4: the crayfish is Himalayan. sent5: something is Himalayan and bats if it is not a Hannover. sent6: something is splenic. sent7: the oriel rewrites pecan and it is Himalayan if it is not a bat. sent8: the oriel is not Cyprian if it does sophisticate ouzo and is a Leptarrhena. sent9: that if the oriel does not sophisticate ouzo that the finback is a kind of non-Cyprian thing that does rewrite pecan does not hold hold. sent10: the oriel bats if it is not a Hannover. sent11: the oriel does attenuate if it sophisticates ouzo. sent12: the oriel bats. sent13: the finback does not rewrite pecan. sent14: that the oriel is a Castoridae is not wrong. sent15: that the finback is not Cyprian but it rewrites pecan does not hold. sent16: if something attenuates and it is a kind of a Leptarrhena that it is not a Hannover is not incorrect.
void -> assump1: Let's assume that the oriel does not sophisticate ouzo.; sent1 & assump1 -> int1: the fact that the finback is not Cyprian and it does not rewrite pecan does not hold.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the oriel sophisticates ouzo is true.; int3 & sent11 -> int4: the oriel does attenuate.; sent3 -> int5: the fact that if the oriel is the Castoridae the oriel is a Leptarrhena is not incorrect.; int5 & sent14 -> int6: the oriel is a Leptarrhena.; int4 & int6 -> int7: the oriel does attenuate and it is a Leptarrhena.; sent16 -> int8: the fact that the oriel is not a Hannover hold if it does attenuate and it is a Leptarrhena.; int7 & int8 -> int9: the oriel is not a kind of a Hannover.; sent5 -> int10: if the oriel is not a Hannover then it is Himalayan and is a kind of a bat.; int9 & int10 -> hypothesis;
the collembolan is splenic and is perineal.
$hypothesis$ = the fact that the oriel is Himalayan and it is a bat is incorrect. ; $context$ = sent1: that the finback is not Cyprian and it does not rewrite pecan is incorrect if the fact that the oriel does not sophisticate ouzo is true. sent2: the finback is non-Cyprian and it does not rewrite pecan. sent3: something is a kind of a Leptarrhena if it is a Castoridae. sent4: the crayfish is Himalayan. sent5: something is Himalayan and bats if it is not a Hannover. sent6: something is splenic. sent7: the oriel rewrites pecan and it is Himalayan if it is not a bat. sent8: the oriel is not Cyprian if it does sophisticate ouzo and is a Leptarrhena. sent9: that if the oriel does not sophisticate ouzo that the finback is a kind of non-Cyprian thing that does rewrite pecan does not hold hold. sent10: the oriel bats if it is not a Hannover. sent11: the oriel does attenuate if it sophisticates ouzo. sent12: the oriel bats. sent13: the finback does not rewrite pecan. sent14: that the oriel is a Castoridae is not wrong. sent15: that the finback is not Cyprian but it rewrites pecan does not hold. sent16: if something attenuates and it is a kind of a Leptarrhena that it is not a Hannover is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the oriel does not sophisticate ouzo.; sent1 & assump1 -> int1: the fact that the finback is not Cyprian and it does not rewrite pecan does not hold.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the oriel sophisticates ouzo is true.; int3 & sent11 -> int4: the oriel does attenuate.; sent3 -> int5: the fact that if the oriel is the Castoridae the oriel is a Leptarrhena is not incorrect.; int5 & sent14 -> int6: the oriel is a Leptarrhena.; int4 & int6 -> int7: the oriel does attenuate and it is a Leptarrhena.; sent16 -> int8: the fact that the oriel is not a Hannover hold if it does attenuate and it is a Leptarrhena.; int7 & int8 -> int9: the oriel is not a kind of a Hannover.; sent5 -> int10: if the oriel is not a Hannover then it is Himalayan and is a kind of a bat.; int9 & int10 -> hypothesis; __DISPROVED__