the fact that the hypnagogue does frighten totality and it is indistinct is wrong.
sent1: that something is boric and it is prefectural is false if it is not a Ploceidae. sent2: if the glass-cutter does not frighten totality but it is a radiomicrometer the hypnagogue is non-prefectural. sent3: a psychiatric thing is not a kind of a radiomicrometer. sent4: something is not shapely or is not a Liberian or both. sent5: that the fact that the totality frightens totality is not false if there exists something such that the fact that it is psychiatric and/or not a radiomicrometer is not true hold. sent6: if something is not prefectural or it is not a Ploceidae or both then the glass-cutter is psychiatric. sent7: if something is not a radiomicrometer then it does post Buchenwald. sent8: the fluorescent is not boric. sent9: if that the mesosphere posts Buchenwald is right then the fact that the glass-cutter is psychiatric and/or it is not a radiomicrometer is incorrect. sent10: if the Forester is holozoic and it posts vicariate the totality is not prefectural. sent11: if that the fluorescent is not indistinct is not wrong the hypnagogue is indistinct. sent12: if that the Forester is boric thing that is prefectural does not hold then the fluorescent is not indistinct. sent13: that the hypnagogue frightens totality and is indistinct does not hold if the glass-cutter does not frightens totality. sent14: if the Forester is not holozoic and posts vicariate the totality is not prefectural. sent15: the hypnagogue does frighten totality if that the totality does frighten totality is not wrong. sent16: if the fluorescent is not boric then the Forester is not holozoic and does post vicariate.
sent16 & sent8 -> int1: the Forester is not holozoic and posts vicariate.; int1 & sent14 -> int2: that the totality is not prefectural is true.; int2 -> int3: either the totality is not prefectural or it is not a Ploceidae or both.; int3 -> int4: either something is not prefectural or it is not a Ploceidae or both.; int4 & sent6 -> int5: the glass-cutter is psychiatric.; sent3 -> int6: if the glass-cutter is psychiatric it is not a kind of a radiomicrometer.; int5 & int6 -> int7: the glass-cutter is not a radiomicrometer.;
the hypnagogue frightens totality and is indistinct.
sent1 -> int8: the fact that the Forester is boric and it is prefectural is wrong if it is not a kind of a Ploceidae.;
$hypothesis$ = the fact that the hypnagogue does frighten totality and it is indistinct is wrong. ; $context$ = sent1: that something is boric and it is prefectural is false if it is not a Ploceidae. sent2: if the glass-cutter does not frighten totality but it is a radiomicrometer the hypnagogue is non-prefectural. sent3: a psychiatric thing is not a kind of a radiomicrometer. sent4: something is not shapely or is not a Liberian or both. sent5: that the fact that the totality frightens totality is not false if there exists something such that the fact that it is psychiatric and/or not a radiomicrometer is not true hold. sent6: if something is not prefectural or it is not a Ploceidae or both then the glass-cutter is psychiatric. sent7: if something is not a radiomicrometer then it does post Buchenwald. sent8: the fluorescent is not boric. sent9: if that the mesosphere posts Buchenwald is right then the fact that the glass-cutter is psychiatric and/or it is not a radiomicrometer is incorrect. sent10: if the Forester is holozoic and it posts vicariate the totality is not prefectural. sent11: if that the fluorescent is not indistinct is not wrong the hypnagogue is indistinct. sent12: if that the Forester is boric thing that is prefectural does not hold then the fluorescent is not indistinct. sent13: that the hypnagogue frightens totality and is indistinct does not hold if the glass-cutter does not frightens totality. sent14: if the Forester is not holozoic and posts vicariate the totality is not prefectural. sent15: the hypnagogue does frighten totality if that the totality does frighten totality is not wrong. sent16: if the fluorescent is not boric then the Forester is not holozoic and does post vicariate. ; $proof$ = 
sent16 & sent8 -> int1: the Forester is not holozoic and posts vicariate.; int1 & sent14 -> int2: that the totality is not prefectural is true.; int2 -> int3: either the totality is not prefectural or it is not a Ploceidae or both.; int3 -> int4: either something is not prefectural or it is not a Ploceidae or both.; int4 & sent6 -> int5: the glass-cutter is psychiatric.; sent3 -> int6: if the glass-cutter is psychiatric it is not a kind of a radiomicrometer.; int5 & int6 -> int7: the glass-cutter is not a radiomicrometer.; __UNKNOWN__