the calciferol is not a Serbian.
sent1: if something is not a kind of an immersion then it is not Serbian. sent2: the firehouse is not bimetallistic. sent3: if the firehouse is not a kinkajou the calciferol is not Serbian. sent4: something is a Serbian if the fact that it is up hold. sent5: that the firehouse is an apatite and is a fretted does not hold if that it does not up is true. sent6: if that the firehouse is not an immersion and it does not up is wrong the calciferol is up. sent7: if something is a kind of a Serbian and/or it is not a kinkajou it does not pigment hemiepiphyte. sent8: if the firehouse is not sensational the fact that it is foreleg and it is a service does not hold. sent9: something is not a kind of an immersion if the fact that it is an apatite and it is a fretted is wrong. sent10: the firehouse is non-up. sent11: that the firehouse is not impractical if the firehouse is a replacement or is not a kinkajou or both hold. sent12: the fact that something ups but it is not an immersion is not right if it does not pigment hemiepiphyte.
sent5 & sent10 -> int1: that the firehouse is both an apatite and a fretted is not right.; sent9 -> int2: the firehouse is not a kind of an immersion if that it is an apatite and it is a fretted is incorrect.; int1 & int2 -> int3: the firehouse is not an immersion.; int3 -> int4: the firehouse does pigment hemiepiphyte and/or it is not an immersion.;
the hemiepiphyte is not a kinkajou.
sent12 -> int5: the fact that the firehouse is up but it is not an immersion is not true if it does not pigment hemiepiphyte.;
$hypothesis$ = the calciferol is not a Serbian. ; $context$ = sent1: if something is not a kind of an immersion then it is not Serbian. sent2: the firehouse is not bimetallistic. sent3: if the firehouse is not a kinkajou the calciferol is not Serbian. sent4: something is a Serbian if the fact that it is up hold. sent5: that the firehouse is an apatite and is a fretted does not hold if that it does not up is true. sent6: if that the firehouse is not an immersion and it does not up is wrong the calciferol is up. sent7: if something is a kind of a Serbian and/or it is not a kinkajou it does not pigment hemiepiphyte. sent8: if the firehouse is not sensational the fact that it is foreleg and it is a service does not hold. sent9: something is not a kind of an immersion if the fact that it is an apatite and it is a fretted is wrong. sent10: the firehouse is non-up. sent11: that the firehouse is not impractical if the firehouse is a replacement or is not a kinkajou or both hold. sent12: the fact that something ups but it is not an immersion is not right if it does not pigment hemiepiphyte. ; $proof$ = 
sent5 & sent10 -> int1: that the firehouse is both an apatite and a fretted is not right.; sent9 -> int2: the firehouse is not a kind of an immersion if that it is an apatite and it is a fretted is incorrect.; int1 & int2 -> int3: the firehouse is not an immersion.; int3 -> int4: the firehouse does pigment hemiepiphyte and/or it is not an immersion.; __UNKNOWN__