that the heterostracan is a kind of a letterer that is supernaturalist is not true.
sent1: the fact that the fact that the heterostracan is biocatalytic but it is not incommodious does not hold is true if it is not a casting. sent2: if the heterostracan is not incommodious then it does not hyperventilate and it is a letterer. sent3: if something is not a host it is not biocatalytic. sent4: the taxer is a enophile. sent5: that if the fact that the taxer is a kind of a letterer that hyperventilates is true then the Zealander is not incommodious is true. sent6: something does not hyperventilate and is a kind of a host if it is not incommodious. sent7: something is not biocatalytic and is supernaturalist if it is not a host. sent8: the heterostracan is not incommodious but it is a letterer. sent9: the Zealander is not a kind of a mirasol. sent10: if the Zealander is not approachable that it does not host and it is incommodious is correct. sent11: something is not biocatalytic if it is not incommodious. sent12: the fact that the taxer is a enophile and it is arteriosclerotic is incorrect. sent13: the taxer is not approachable. sent14: the refreshment is Ukrainian and it dadoes gymnosophist. sent15: if the Zealander is supernaturalist and it is incommodious then the heterostracan is not incommodious. sent16: the Zealander is a kind of approachable thing that is incommodious. sent17: the taxer is not incommodious if the Zealander is approachable and it is incommodious. sent18: something does not hyperventilate if it is not a kind of a letterer. sent19: if the Zealander is not incommodious then it is not supernaturalist and it is biocatalytic. sent20: if the taxer does not hyperventilate but it does host then the lyricist is not biocatalytic. sent21: if the taxer does not host that the Zealander is incommodious and is a kind of a letterer is incorrect.
sent6 -> int1: if the taxer is not incommodious then it does not hyperventilate and it is a host.; sent17 & sent16 -> int2: the taxer is not incommodious.; int1 & int2 -> int3: the taxer does not hyperventilate but it is a host.; int3 & sent20 -> int4: the lyricist is not biocatalytic.;
the heterostracan is a letterer that is supernaturalist.
$hypothesis$ = that the heterostracan is a kind of a letterer that is supernaturalist is not true. ; $context$ = sent1: the fact that the fact that the heterostracan is biocatalytic but it is not incommodious does not hold is true if it is not a casting. sent2: if the heterostracan is not incommodious then it does not hyperventilate and it is a letterer. sent3: if something is not a host it is not biocatalytic. sent4: the taxer is a enophile. sent5: that if the fact that the taxer is a kind of a letterer that hyperventilates is true then the Zealander is not incommodious is true. sent6: something does not hyperventilate and is a kind of a host if it is not incommodious. sent7: something is not biocatalytic and is supernaturalist if it is not a host. sent8: the heterostracan is not incommodious but it is a letterer. sent9: the Zealander is not a kind of a mirasol. sent10: if the Zealander is not approachable that it does not host and it is incommodious is correct. sent11: something is not biocatalytic if it is not incommodious. sent12: the fact that the taxer is a enophile and it is arteriosclerotic is incorrect. sent13: the taxer is not approachable. sent14: the refreshment is Ukrainian and it dadoes gymnosophist. sent15: if the Zealander is supernaturalist and it is incommodious then the heterostracan is not incommodious. sent16: the Zealander is a kind of approachable thing that is incommodious. sent17: the taxer is not incommodious if the Zealander is approachable and it is incommodious. sent18: something does not hyperventilate if it is not a kind of a letterer. sent19: if the Zealander is not incommodious then it is not supernaturalist and it is biocatalytic. sent20: if the taxer does not hyperventilate but it does host then the lyricist is not biocatalytic. sent21: if the taxer does not host that the Zealander is incommodious and is a kind of a letterer is incorrect. ; $proof$ = 
sent6 -> int1: if the taxer is not incommodious then it does not hyperventilate and it is a host.; sent17 & sent16 -> int2: the taxer is not incommodious.; int1 & int2 -> int3: the taxer does not hyperventilate but it is a host.; int3 & sent20 -> int4: the lyricist is not biocatalytic.; __UNKNOWN__